Package org.processmining.plugins.ltlchecker.formulatree

Class Summary

Class	Description
AlwaysNode	AlwaysNode is a node class of the formula tree denoting the always operator.
AndNode	AndNode is a node class of the formula tree denoting the and operator.
BiimpliesNode	BiimpliesNode is a node class of the formula tree denoting the biimplies operator.
BinaryNode	BinaryNode is a node class of the formula tree denoting binary logic operators, like and, or, until, etc.
CompNode	CompNode is a node class of the formula tree denoting comparator operators, like ==, ~=, <=, >=, etc.
DateCompNode	DateCompNode is a node class of the formula tree denoting comparator operators for dates: ==, !=, <=, >=, < and >.
DateValueNode	DateValueNode is a representation of a string literal or attribute.
EventuallyNode	EventuallyNode is a node class of the formula tree denoting the eventually operator.
ExistsNode	ExistsNode is a node class of the formula tree denoting the exists quantor.
ForallNode	ForallNode is a node class of the formula tree denoting the for all quantor.
FormulaNode	FormulaNode is the main class of the hierarchy of formula nodes to denote a LTL formula.
ImpliesNode	ImpliesNode is a node class of the formula tree denoting the implies operator.
NexttimeNode	NexttimeNode is a node class of the formula tree denoting the nexttime operator.
NotNode	NotNode is a node class of the formula tree denoting the not operator.
NumberCompNode	NumberCompNode is a node class of the formula tree denoting comparator operators for numbers: ==, !=, <=, >=, < and >.
NumberValueNode	NumberValueNode is a representation of a number literal or attribute.
OrNode	OrNode is a node class of the formula tree denoting the or operator.
QuantorNode	QuantorNode is a node class of the formula tree denoting the quantors for all and exists.
RootNode	RootNode is used for binding formulae and values to the highest level of a defined formula.
SetCompNode	SetCompNode is a node class of the formula tree denoting comparator operators for sets: ==, != and in.
SetValueNode	SetValueNode is a representation of a set literal, attribute or set.
StringCompNode	StringCompNode is a node class of the formula tree denoting comparator operators for strings: ==, !=, ~=, <=, >=, < and >.
StringValueNode	StringValueNode is a representation of a string literal or attribute.
TreeNode	Main class for treenodes, for formula nodes as well as for valuenodes.
UnaryNode	UnaryNode is a node class of the formula tree denoting unary logic operators, like not, always, etc.
UntilNode	UntilNode is a node class of the formula tree denoting the until operator.
ValueNode	ValueNode is the main class of the hierarchy of value nodes to denote a value, eiter an number expression or an string literal, a set or a date.