org.processmining.plugins.ltlchecker.parser

Class ASTComparison

java.lang.Object

org.processmining.plugins.ltlchecker.parser.SimpleNode

org.processmining.plugins.ltlchecker.parser.ASTComparison

All Implemented Interfaces:

Node

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

Method Summary

Modifier and Type	Method and Description
java.lang.String	asParseableString()
Attribute	getAttribute()
java.util.TreeSet	getStrings()
void	setAttribute(Attribute attr)
void	setStrings(java.util.TreeSet strings)
java.lang.String	toString(boolean verbose)

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTComparison

public ASTComparison(int id)

ASTComparison

public ASTComparison(LTLParser p,
                     int id)

Method Detail

setAttribute

public void setAttribute(Attribute attr)

Overrides:

setAttribute in class SimpleNode

getAttribute

public Attribute getAttribute()

Overrides:

getAttribute in class SimpleNode

setStrings

public void setStrings(java.util.TreeSet strings)

getStrings

public java.util.TreeSet getStrings()

toString

public java.lang.String toString(boolean verbose)

Overrides:

toString in class SimpleNode

asParseableString

public java.lang.String asParseableString()

Overrides:

asParseableString in class SimpleNode