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

rwth.i2.ltl2ba4j.formula
Interface IFormulaFactory

All Known Implementing Classes:
FormulaFactory

public interface IFormulaFactory

Author:
Eric Bodden IFormulaFactory

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)
           
 

Method Detail

And

IAnd And(IFormula formula1,
         IFormula formula2)

Eq

IEquivalent Eq(IFormula formula1,
               IFormula formula2)

F

IFinally F(IFormula formula)

G

IGlobally G(IFormula formula)

Impl

IImplies Impl(IFormula formula1,
              IFormula formula2)

X

INext X(IFormula formula)

Not

INot Not(IFormula formula)

Or

IOr Or(IFormula formula1,
       IFormula formula2)

Proposition

IProposition Proposition(String label)

Release

IRelease Release(IFormula formula1,
                 IFormula formula2)

Until

IUntil Until(IFormula formula1,
             IFormula formula2)


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