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

rwth.i2.ltl2ba4j.formula.impl
Class Or

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

public class Or
extends Object
implements IOr

Author:
Eric Bodden And

Field Summary
protected  IFormula subformula1
           
protected  IFormula subformula2
           
 
Constructor Summary
Or(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

Or

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