org.omwg.logicalexpression
Interface Implication

All Superinterfaces:

Binary, CompoundExpression, LogicalExpression

public interface Implication
extends Binary

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

Version:

$Revision: 881 $ $Date: 2005-09-09 14:53:21 +0300 (Fri, 09 Sep 2005) $

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, toString