[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Formula / Impl / FormulaFactory
Printer-friendly
FormulaFactory (LTL2BA4J)

rwth.i2.ltl2ba4j.formula.impl
Class FormulaFactory

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.FormulaFactory
All Implemented Interfaces:
IFormulaFactory

public class FormulaFactory
extends Object
implements IFormulaFactory

Author:
Eric Bodden FormulaFactory

Constructor Summary
FormulaFactory()
           
 
Method Summary
 IAnd And(IFormula formula1, IFormula formula2)
          
 IEquivalent Eq(IFormula formula1, IFormula formula2)
          
 IFinally F(IFormula formula)
          
 IGlobally G(IFormula formula)
          
 IImplies Impl(IFormula formula1, IFormula formula2)
          
 INot Not(IFormula formula)
          
 IOr Or(IFormula formula1, IFormula formula2)
          
 IProposition Proposition(String label)
          
 IRelease Release(IFormula formula1, IFormula formula2)
          
 IUntil Until(IFormula formula1, IFormula formula2)
          
 INext X(IFormula formula)
          
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FormulaFactory

public FormulaFactory()
Method Detail

And

public IAnd And(IFormula formula1,
                IFormula formula2)

Specified by:
And in interface IFormulaFactory

Eq

public IEquivalent Eq(IFormula formula1,
                      IFormula formula2)

Specified by:
Eq in interface IFormulaFactory

F

public IFinally F(IFormula formula)

Specified by:
F in interface IFormulaFactory

G

public IGlobally G(IFormula formula)

Specified by:
G in interface IFormulaFactory

Impl

public IImplies Impl(IFormula formula1,
                     IFormula formula2)

Specified by:
Impl in interface IFormulaFactory

X

public INext X(IFormula formula)

Specified by:
X in interface IFormulaFactory

Not

public INot Not(IFormula formula)

Specified by:
Not in interface IFormulaFactory

Or

public IOr Or(IFormula formula1,
              IFormula formula2)

Specified by:
Or in interface IFormulaFactory

Proposition

public IProposition Proposition(String label)

Specified by:
Proposition in interface IFormulaFactory

Release

public IRelease Release(IFormula formula1,
                        IFormula formula2)

Specified by:
Release in interface IFormulaFactory

Until

public IUntil Until(IFormula formula1,
                    IFormula formula2)

Specified by:
Until in interface IFormulaFactory


Eric Bodden, RWTH Aachen University, 2005.
Valid HTML 4.01 Strict! Valid CSS!