rwth.i2.ltlrv.formula.interfaze
Interface IEquivalent

All Superinterfaces:
IBinaryTerm, IFormula
All Known Implementing Classes:
Equivalent

public interface IEquivalent
extends IBinaryTerm

IEquivalent represents the equivalence operator

Author:
Eric Bodden

Method Summary
 
Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IBinaryTerm
getSubformula1, getSubformula2
 
Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula
negationNormalForm, symbol