rwth.i2.ltlrv.formula.interfaze
Interface IImplies

All Superinterfaces:

IBinaryTerm, IFormula

All Known Implementing Classes:

Implies

public interface IImplies
extends IBinaryTerm

IImplies represents the Implication 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