wugle.expression.logic
Class And

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

All Implemented Interfaces:

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

public class And

extends LogicBinaryOperator

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

And(Expression leftChild, Expression rightChild)

Method Summary

boolean	canDominate()
DeMorgans	deMorgans()
Value	identityElement()
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

And

public And(Expression leftChild,
           Expression rightChild)

Method Detail

identityElement

public Value identityElement()

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()

tautology

public TruthValue tautology()
                     throws java.lang.Exception

Specified by:

tautology in interface Tautology

Specified by:

tautology in class LogicBinaryOperator

java.lang.Exception