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

rwth.i2.ltl2ba4j.formula.impl
Class Next

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

public class Next
extends Object
implements INext

Author:
Eric Bodden And

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

Next

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