Uses of Class
org.processmining.plugins.ltlchecker.formulatree.QuantorNode

Packages that use QuantorNode

Package	Description
org.processmining.plugins.ltlchecker.formulatree

Uses of QuantorNode in org.processmining.plugins.ltlchecker.formulatree

Subclasses of QuantorNode in org.processmining.plugins.ltlchecker.formulatree

Modifier and Type	Class and Description
class	ExistsNode ExistsNode is a node class of the formula tree denoting the exists quantor.
class	ForallNode ForallNode is a node class of the formula tree denoting the for all quantor.