rwth.i2.ltl2ba4j.formula
Interface IImplies

All Superinterfaces:
IBinaryFormula, IFormula
All Known Implementing Classes:
Implies

public interface IImplies
extends IBinaryFormula

Author:
Eric Bodden IFormula

Method Summary
 
Methods inherited from interface rwth.i2.ltl2ba4j.formula.IBinaryFormula
getSubformula1, getSubformula2
 



Eric Bodden, RWTH Aachen University, 2005.