wugle.expression.logic
Class Implies

java.lang.Object
  |
  +--wugle.expression.AbstractExpression
        |
        +--wugle.expression.AbstractBinaryOperator
              |
              +--wugle.expression.logic.Implies

All Implemented Interfaces:

BinaryOperator, java.lang.Cloneable, DoubleNegatable, Expression, ImpliesRule, Operator

public class Implies

extends AbstractBinaryOperator

implements DoubleNegatable, ImpliesRule

Version:

0.1.3

Author:

Jacob Perkins

Field Summary

static java.lang.String

SYMBOL

Fields inherited from class wugle.expression.AbstractExpression

log, operation

Constructor Summary

Implies(Expression leftChild, Expression rightChild)

Method Summary

DoubleNegatable	doubleNegate()
ImpliesRule	impliesRule()

Methods inherited from class wugle.expression.AbstractBinaryOperator

clone, getLeftChild, getRightChild, isEqual, setChild, setLeftChild, setRightChild, toString

Methods inherited from class wugle.expression.AbstractExpression

getParent, getSymbol, setParent

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface wugle.expression.Expression

clone, getParent, getSymbol, isEqual, setParent

Methods inherited from interface wugle.expression.BinaryOperator

getLeftChild, getRightChild, setLeftChild, setRightChild

Methods inherited from interface wugle.expression.Operator

setChild

Field Detail

SYMBOL

public static java.lang.String SYMBOL

Constructor Detail

Implies

public Implies(Expression leftChild,
               Expression rightChild)

Method Detail

doubleNegate

public DoubleNegatable doubleNegate()

Specified by:

doubleNegate in interface DoubleNegatable

impliesRule

public ImpliesRule impliesRule()

Specified by:

impliesRule in interface ImpliesRule