org.processmining.ltl2automaton.plugins.formula

Class DefaultFormulaFactory

java.lang.Object

org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory

All Implemented Interfaces:

FormulaFactory<Formula>

public class DefaultFormulaFactory
extends java.lang.Object
implements FormulaFactory<Formula>

Field Summary

Fields

Modifier and Type	Field and Description
static DefaultFormulaFactory	instance

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

instance

public static final DefaultFormulaFactory instance

Method Detail

Always

public Formula Always(Formula f)

Specified by:

Always in interface FormulaFactory<Formula>

And

public Formula And(Formula sx,
                   Formula dx)

Specified by:

And in interface FormulaFactory<Formula>

Equal

public Formula Equal(Formula lf,
                     Formula rf)

Specified by:

Equal in interface FormulaFactory<Formula>

Eventually

public Formula Eventually(Formula f)

Specified by:

Eventually in interface FormulaFactory<Formula>

False

public Formula False()

Specified by:

False in interface FormulaFactory<Formula>

Implies

public Formula Implies(Formula sx,
                       Formula dx)

Specified by:

Implies in interface FormulaFactory<Formula>

Next

public Formula Next(Formula f)

Specified by:

Next in interface FormulaFactory<Formula>

Not

public Formula Not(Formula f)

Specified by:

Not in interface FormulaFactory<Formula>

Or

public Formula Or(Formula sx,
                  Formula dx)

Specified by:

Or in interface FormulaFactory<Formula>

Proposition

public Formula Proposition(java.lang.String name)

Specified by:

Proposition in interface FormulaFactory<Formula>

Release

public Formula Release(Formula sx,
                       Formula dx)

Specified by:

Release in interface FormulaFactory<Formula>

True

public Formula True()

Specified by:

True in interface FormulaFactory<Formula>

Until

public Formula Until(Formula sx,
                     Formula dx)

Specified by:

Until in interface FormulaFactory<Formula>

WNext

public Formula WNext(Formula f)

Specified by:

WNext in interface FormulaFactory<Formula>

WRelease

public Formula WRelease(Formula sx,
                        Formula dx)

Specified by:

WRelease in interface FormulaFactory<Formula>

WUntil

public Formula WUntil(Formula sx,
                      Formula dx)

Specified by:

WUntil in interface FormulaFactory<Formula>

create

public Formula create(char c,
                      Formula sx,
                      Formula dx,
                      java.lang.String n)

Specified by:

create in interface FormulaFactory<Formula>