public abstract class FormulaNode extends TreeNode
Constructor and Description |
---|
FormulaNode() |
Modifier and Type | Method and Description |
---|---|
abstract java.lang.String |
toString()
Write this node as a string
|
abstract boolean |
value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
|
public abstract boolean value(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr)
pi
- The current process instance.ate
- The current audit trail entry of pi.public abstract java.lang.String toString()
toString
in class java.lang.Object