org.processmining.ltl2automaton.plugins.ltl

Interface FormulaFactory<F extends LTLFormula>

All Known Implementing Classes:

DefaultFormulaFactory

public interface FormulaFactory<F extends LTLFormula>

Method Summary

Modifier and Type	Method and Description
F	Always(F f)
F	And(F sx, F dx)
F	create(char type, F left, F right, java.lang.String label)
F	Equal(F lf, F rf)
F	Eventually(F f)
F	False()
F	Implies(F sx, F dx)
F	Next(F f)
F	Not(F f)
F	Or(F sx, F dx)
F	Proposition(java.lang.String name)
F	Release(F sx, F dx)
F	True()
F	Until(F sx, F dx)
F	WNext(F f)
F	WRelease(F sx, F dx)
F	WUntil(F sx, F dx)

Method Detail

Always

F Always(F f)

And

F And(F sx,
      F dx)

Equal

F Equal(F lf,
        F rf)

Eventually

F Eventually(F f)

False

F False()

Implies

F Implies(F sx,
          F dx)

Next

F Next(F f)

Not

F Not(F f)

Or

F Or(F sx,
     F dx)

Proposition

F Proposition(java.lang.String name)

Release

F Release(F sx,
          F dx)

True

F True()

Until

F Until(F sx,
        F dx)

WNext

F WNext(F f)

WRelease

F WRelease(F sx,
           F dx)

WUntil

F WUntil(F sx,
         F dx)

create

F create(char type,
         F left,
         F right,
         java.lang.String label)