Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree | |
org.processmining.plugins.ltlchecker.parser |
Modifier and Type | Method and Description |
---|---|
java.util.Date |
DateValueNode.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
|
float |
NumberValueNode.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
|
java.lang.String |
SetValueNode.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
|
java.lang.String |
StringValueNode.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
ConceptSetAttribute.modelReferences(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr) |
java.util.List<java.lang.String> |
SetAttribute.modelReferences(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr) |
java.lang.String |
ConceptSetAttribute.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr) |
java.util.Date |
DateAttribute.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
The value method.
|
float |
NumberAttribute.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
The value method.
|
java.lang.String |
SetAttribute.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
The value method.
|
java.lang.String |
StringAttribute.value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
The value method.
|