public class ASTExpr 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 |
---|
ASTExpr(int id) |
ASTExpr(LTLParser p,
int id) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asParseableString() |
Attribute |
getAttribute() |
void |
setAttribute(Attribute attr) |
java.lang.String |
toString(boolean verbose) |
asParseableString, dump, getName, getType, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, setName, setName, setType, toString, toString
public ASTExpr(int id)
public ASTExpr(LTLParser p, int id)
public void setAttribute(Attribute attr)
setAttribute
in class SimpleNode
public Attribute getAttribute()
getAttribute
in class SimpleNode
public java.lang.String toString(boolean verbose)
toString
in class SimpleNode
public java.lang.String asParseableString()
asParseableString
in class SimpleNode