org.processmining.plugins.ltlchecker.formulatree
Classes
AlwaysNode
AndNode
BiimpliesNode
BinaryNode
CompNode
DateCompNode
DateValueNode
EventuallyNode
ExistsNode
ForallNode
FormulaNode
ImpliesNode
NexttimeNode
NotNode
NumberCompNode
NumberValueNode
OrNode
QuantorNode
RootNode
SetCompNode
SetValueNode
StringCompNode
StringValueNode
TreeNode
UnaryNode
UntilNode
ValueNode