public class RootNode extends TreeNode
Constructor and Description |
---|
RootNode() |
Modifier and Type | Method and Description |
---|---|
FormulaNode |
getFormula() |
void |
setFormula(FormulaNode formula) |
java.lang.String |
toString() |
boolean |
value(org.deckfour.xes.model.XTrace pi,
java.util.LinkedList ates,
int ateNr)
Just return the formula's value.
|
public void setFormula(FormulaNode formula)
public FormulaNode getFormula()
public boolean value(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr)
public java.lang.String toString()
toString
in class java.lang.Object