rwth.i2.ltlrv.formula.interfaze
Interface IBinaryTerm
- All Superinterfaces:
- IFormula
- All Known Subinterfaces:
- IAnd, IBinaryAFAState, IEquivalent, IImplies, IOr, IRelease, IUntil
- All Known Implementing Classes:
- And, BinaryAFAState, BinaryFormula, CommutativeBinaryAFAState, CommutativeBinaryFormula, Equivalent, Implies, Or, Release, Until
public interface IBinaryTerm
- extends IFormula
IBinaryTerm - Common interface for a binary term.
- Author:
- Eric Bodden
getSubformula1
IFormula getSubformula1()
- Returns:
- the left subformula or proposition
getSubformula2
IFormula getSubformula2()
- Returns:
- the right subformula or proposition