public class NotNode extends UnaryNode
Constructor and Description |
---|
NotNode() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
getOperator() |
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 child.
|
public boolean value(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr)
value
in class FormulaNode
pi
- The current process instance.ate
- The current audit trail entry of pi.protected java.lang.String getOperator()
getOperator
in class UnaryNode