public class ASTformulaDefinition 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 |
---|
ASTformulaDefinition(int id) |
ASTformulaDefinition(LTLParser p,
int id) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asParseableString(java.util.List<FormulaParameter> args,
int type) |
java.lang.String |
getDescription() |
java.lang.String |
prettyPrint(java.lang.String proposition) |
void |
setDescription(java.lang.String d) |
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 ASTformulaDefinition(int id)
public ASTformulaDefinition(LTLParser p, int id)
public void setDescription(java.lang.String d)
public java.lang.String getDescription()
public java.lang.String toString(boolean verbose)
toString
in class SimpleNode
public java.lang.String prettyPrint(java.lang.String proposition)
public java.lang.String asParseableString(java.util.List<FormulaParameter> args, int type)
asParseableString
in class SimpleNode