org.omwg.logicalexpression
Interface InverseImplication

All Superinterfaces:

Binary, CompoundExpression, LogicalExpression

public interface InverseImplication
extends Binary

This interface represents specific kind of Binary. An inverse implication whose operator is impliedBy.

Version:

$Revision: 1.3 $ $Date: 2005/09/09 11:53:21 $

Author:

DERI Innsbruck, reto.krummenacher@deri.org, DERI Innsbruck, holger.lausen@deri.org, DERI Innsbruck, thomas.haselwanter@deri.org

Method Summary

Methods inherited from interface org.omwg.logicalexpression.Binary

getLeftOperand, getRightOperand, setLeftOperand, setRightOperand

Methods inherited from interface org.omwg.logicalexpression.CompoundExpression

listOperands, setOperands

Methods inherited from interface org.omwg.logicalexpression.LogicalExpression

accept