Uses of Class
org.processmining.ltl2automaton.plugins.ltl.LTLFormula

Packages that use LTLFormula

Package	Description
org.processmining.ltl2automaton.plugins.formula
org.processmining.ltl2automaton.plugins.ltl

Uses of LTLFormula in org.processmining.ltl2automaton.plugins.formula

Subclasses of LTLFormula in org.processmining.ltl2automaton.plugins.formula

Modifier and Type	Class and Description
class	Formula

Uses of LTLFormula in org.processmining.ltl2automaton.plugins.ltl

Classes in org.processmining.ltl2automaton.plugins.ltl with type parameters of type LTLFormula

Modifier and Type	Interface and Description
interface	FormulaFactory<F extends LTLFormula>
class	Parser<F extends LTLFormula>

Fields in org.processmining.ltl2automaton.plugins.ltl declared as LTLFormula

Modifier and Type	Field and Description
protected LTLFormula	LTLFormula.left
protected LTLFormula	LTLFormula.right

Methods in org.processmining.ltl2automaton.plugins.ltl that return LTLFormula

Modifier and Type	Method and Description
LTLFormula	LTLFormula.clone()
LTLFormula	LTLFormula.getLeft()
LTLFormula	LTLFormula.getRight()

Methods in org.processmining.ltl2automaton.plugins.ltl with parameters of type LTLFormula

Modifier and Type	Method and Description
protected void	LTLFormula.setLeft(LTLFormula left)
protected void	LTLFormula.setRight(LTLFormula right)

Constructors in org.processmining.ltl2automaton.plugins.ltl with parameters of type LTLFormula

Constructor and Description
LTLFormula(char c, LTLFormula lf, LTLFormula rf, java.lang.String n)