Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree | |
org.processmining.plugins.ltlchecker.util |
Modifier and Type | Class and Description |
---|---|
class |
DateValueNode
DateValueNode is a representation of a string literal or attribute.
|
class |
NumberValueNode
NumberValueNode is a representation of a number literal or attribute.
|
class |
SetValueNode
SetValueNode is a representation of a set literal, attribute or set.
|
class |
StringValueNode
StringValueNode is a representation of a string literal or attribute.
|
Modifier and Type | Method and Description |
---|---|
ValueNode |
Substitutes.get(java.lang.String id)
Get the value of an id.
|
Modifier and Type | Method and Description |
---|---|
java.util.TreeMap<java.lang.String,ValueNode> |
Substitutes.getAll() |
Modifier and Type | Method and Description |
---|---|
void |
Substitutes.add(java.lang.String id,
ValueNode val)
Add the value of an id, by calling of an function or in an comparison
expression.
|
Constructor and Description |
---|
Substitutes(java.util.TreeMap<java.lang.String,ValueNode> substs) |