public class ASTFormulaCall extends SimpleNode
ALWAYS, AND, ARGUMENT, attribute, ATTRIBUTE, BIGGER, BIGGEROREQUAL, BIIMPLIES, BIPROP, children, COMPPROP, CONCEPTSET, DATESTRING, DIV, DUMMY, EQUAL, EVENTUALLY, EXISTS, EXPR, FORALL, FORMULA, id, IMPLIES, IN, INT, LESSER, LESSOREQUAL, MINUS, MULT, name, NEXTTIME, NOT, NOTEQUAL, OR, parent, parser, PLUS, PROPOSITION, QUANTOR, REAL, REGEXPEQUAL, SET, SETSTRING, STRING, STRINGLIST, SUBFORMULA, type, typeNames, UNMINUS, UNPROP, UNTIL, USEFORMULA, USESTATICFORMULA, VALLIST
Constructor and Description |
---|
ASTFormulaCall(int id) |
ASTFormulaCall(LTLParser p,
int id) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asParseableString() |
java.util.ArrayList |
getValues() |
void |
setValues(java.util.ArrayList values) |
java.lang.String |
toString(boolean verbose) |
asParseableString, dump, getAttribute, getName, getType, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, setAttribute, setName, setName, setType, toString, toString
public ASTFormulaCall(int id)
public ASTFormulaCall(LTLParser p, int id)
public void setValues(java.util.ArrayList values)
public java.util.ArrayList getValues()
public java.lang.String toString(boolean verbose)
toString
in class SimpleNode
public java.lang.String asParseableString()
asParseableString
in class SimpleNode