wugle.expression.logic
Class Or

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

All Implemented Interfaces:

Associative, BinaryOperator, java.lang.Cloneable, Commutative, DeMorgans, Distributive, Dominatable, DoubleNegatable, Expression, Idempotent, Identity, ImpliesRule, Operator, Tautology

public class Or

extends LogicBinaryOperator

implements 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

Or(Expression leftChild, Expression rightChild)

Method Summary

boolean	canDominate()
DeMorgans	deMorgans()
Value	identityElement()
ImpliesRule	impliesRule()
TruthValue	tautology()

Methods inherited from class wugle.expression.logic.LogicBinaryOperator

associateLeft, associateRight, canAssociateLeft, canAssociateRight, canDeMorgans, canDistributeExpand, canDistributeReduce, canIdempotent, canIdentity, canTautology, commute, distributeExpand, distributeReduce, dominate, doubleNegate, idempotent, idempotent, identity, identity

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.BinaryOperator

getLeftChild, getRightChild, setLeftChild, setRightChild

Methods inherited from interface wugle.expression.Operator

setChild

Methods inherited from interface wugle.expression.Expression

clone, getParent, getSymbol, isEqual, setParent

Field Detail

SYMBOL

public static java.lang.String SYMBOL

Constructor Detail

Or

public Or(Expression leftChild,
          Expression rightChild)

Method Detail

identityElement

public Value identityElement()

Specified by:

identityElement in interface Identity

deMorgans

public DeMorgans deMorgans()
                    throws java.lang.Exception

Specified by:

deMorgans in interface DeMorgans

Specified by:

deMorgans in class LogicBinaryOperator

java.lang.Exception

canDominate

public boolean canDominate()

Specified by:

canDominate in interface Dominatable

impliesRule

public ImpliesRule impliesRule()

Specified by:

impliesRule in interface ImpliesRule

tautology

public TruthValue tautology()
                     throws java.lang.Exception

Specified by:

tautology in interface Tautology

Specified by:

tautology in class LogicBinaryOperator

java.lang.Exception