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