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

rwth.i2.ltl2ba4j.formula.impl
Class Globally

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

public class Globally
extends Object
implements IGlobally

Author:
Eric Bodden And

Field Summary
protected  IFormula subformula
           
 
Constructor Summary
Globally(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

Globally

public Globally(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!