org.processmining.plugins.ltlchecker.parser

Class ASTBinaryProposition

java.lang.Object

org.processmining.plugins.ltlchecker.parser.SimpleNode

org.processmining.plugins.ltlchecker.parser.ASTBinaryProposition

All Implemented Interfaces:

Node

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

Method Summary

Modifier and Type	Method and Description
java.lang.String	asParseableString()

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, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTBinaryProposition

public ASTBinaryProposition(int id)

ASTBinaryProposition

public ASTBinaryProposition(LTLParser p,
                            int id)

Method Detail

asParseableString

public java.lang.String asParseableString()

Overrides:

asParseableString in class SimpleNode