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