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

Method Summary

IFormula	getSubformula1()
IFormula	getSubformula2()

Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula

negationNormalForm, symbol

Method Detail

getSubformula1

IFormula getSubformula1()

Returns:

the left subformula or proposition

getSubformula2

IFormula getSubformula2()

Returns:

the right subformula or proposition