org.processmining.plugins.ltlchecker.parser

Class ASTattributeDefinition

java.lang.Object

org.processmining.plugins.ltlchecker.parser.SimpleNode

org.processmining.plugins.ltlchecker.parser.ASTattributeDefinition

All Implemented Interfaces:

Node

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

Method Summary

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

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

ASTattributeDefinition

public ASTattributeDefinition(int id)

ASTattributeDefinition

public ASTattributeDefinition(LTLParser p,
                              int id)