org.processmining.plugins.ltlchecker.parser

Class ASTformulaDefinition

java.lang.Object

org.processmining.plugins.ltlchecker.parser.SimpleNode

org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition

All Implemented Interfaces:

Node

public class ASTformulaDefinition
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
ASTformulaDefinition(int id)
ASTformulaDefinition(LTLParser p, int id)

Method Summary

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)

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

ASTformulaDefinition

public ASTformulaDefinition(int id)

ASTformulaDefinition

public ASTformulaDefinition(LTLParser p,
                            int id)

Method Detail

setDescription

public void setDescription(java.lang.String d)

getDescription

public java.lang.String getDescription()

toString

public java.lang.String toString(boolean verbose)

Overrides:

toString in class SimpleNode

prettyPrint

public java.lang.String prettyPrint(java.lang.String proposition)

asParseableString

public java.lang.String asParseableString(java.util.List<FormulaParameter> args,
                                          int type)

Overrides:

asParseableString in class SimpleNode