rwth.i2.ltl2ba4j.formula
Interface IBinaryFormula

All Superinterfaces:
IFormula
All Known Subinterfaces:
IAnd, IEquivalent, IImplies, IOr, IRelease, IUntil
All Known Implementing Classes:
And, BinaryFormula, Equivalent, Implies, Or, Release, Until

public interface IBinaryFormula
extends IFormula

Author:
Eric Bodden IBinaryFormula

Method Summary
 IFormula getSubformula1()
           
 IFormula getSubformula2()
           
 

Method Detail

getSubformula1

IFormula getSubformula1()
Returns:
the left subformula or proposition

getSubformula2

IFormula getSubformula2()
Returns:
the right subformula or proposition


Eric Bodden, RWTH Aachen University, 2005.