Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree | |
org.processmining.plugins.ltlchecker.parser |
Modifier and Type | Method and Description |
---|---|
void |
SetCompNode.setAttribute(SetAttribute attr)
Set the attribute of this node.
|
void |
SetValueNode.setValue(SetAttribute val)
Set the value.
|
Modifier and Type | Class and Description |
---|---|
class |
ConceptSetAttribute |