[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 / Finally
Printer-friendly
Finally (LTL2BA4J)

rwth.i2.ltl2ba4j.formula.impl
Class Finally

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.Finally
All Implemented Interfaces:
IFinally, IFormula, IUnaryFormula

public class Finally
extends Object
implements IFinally

Author:
Eric Bodden And

Field Summary
protected  IFormula subformula
           
 
Constructor Summary
Finally(IFormula subFormula)
           
 
Method Summary
 IFormula getSubformula()
          
 String toString()
          
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

subformula

protected IFormula subformula
Constructor Detail

Finally

public Finally(IFormula subFormula)
Method Detail

toString

public String toString()

Overrides:
toString in class Object

getSubformula

public IFormula getSubformula()

Specified by:
getSubformula in interface IUnaryFormula
Returns:
the subformula or proposition


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