org.processmining.plugins.ltlchecker.parser

Class ASTFormulaCall

java.lang.Object

org.processmining.plugins.ltlchecker.parser.SimpleNode

org.processmining.plugins.ltlchecker.parser.ASTFormulaCall

All Implemented Interfaces:

Node

public class ASTFormulaCall
extends SimpleNode

Field Summary

Fields inherited from class org.processmining.plugins.ltlchecker.parser.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 Summary

Constructors

Constructor and Description
ASTFormulaCall(int id)
ASTFormulaCall(LTLParser p, int id)

Method Summary

Modifier and Type	Method and Description
java.lang.String	asParseableString()
java.util.ArrayList	getValues()
void	setValues(java.util.ArrayList values)
java.lang.String	toString(boolean verbose)

Methods inherited from class org.processmining.plugins.ltlchecker.parser.SimpleNode

asParseableString, dump, getAttribute, getName, getType, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, setAttribute, setName, setName, setType, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ASTFormulaCall

public ASTFormulaCall(int id)

ASTFormulaCall

public ASTFormulaCall(LTLParser p,
                      int id)

Method Detail

setValues

public void setValues(java.util.ArrayList values)

getValues

public java.util.ArrayList getValues()

toString

public java.lang.String toString(boolean verbose)

Overrides:

toString in class SimpleNode

asParseableString

public java.lang.String asParseableString()

Overrides:

asParseableString in class SimpleNode