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

rwth.i2.ltl2ba4j.formula.impl
Class Release

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.Release
All Implemented Interfaces:
IBinaryFormula, IFormula, IRelease

public class Release
extends Object
implements IRelease

Author:
Eric Bodden And

Field Summary
protected  IFormula subformula1
           
protected  IFormula subformula2
           
 
Constructor Summary
Release(IFormula subFormula1, IFormula subFormula2)
           
 
Method Summary
 IFormula getSubformula1()
          
 IFormula getSubformula2()
          
 String toString()
          
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

subformula1

protected IFormula subformula1

subformula2

protected IFormula subformula2
Constructor Detail

Release

public Release(IFormula subFormula1,
               IFormula subFormula2)
Method Detail

toString

public String toString()

Overrides:
toString in class Object

getSubformula1

public IFormula getSubformula1()

Specified by:
getSubformula1 in interface IBinaryFormula
Returns:
the left subformula or proposition

getSubformula2

public IFormula getSubformula2()

Specified by:
getSubformula2 in interface IBinaryFormula
Returns:
the right subformula or proposition


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