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