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