public class ASTQuantification 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 |
---|
ASTQuantification(int id) |
ASTQuantification(LTLParser p,
int id) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asParseableString() |
Attribute |
getDummy() |
void |
setDummy(Attribute dummy) |
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 ASTQuantification(int id)
public ASTQuantification(LTLParser p, int id)
public void setDummy(Attribute dummy)
public Attribute getDummy()
public java.lang.String toString(boolean verbose)
toString
in class SimpleNode
public java.lang.String asParseableString()
asParseableString
in class SimpleNode