Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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
 

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD