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

rwth.i2.ltl2ba4j.formula.impl
Class And

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

public class And
extends Object
implements IAnd

Author:
Eric Bodden And

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

And

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