|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--wugle.expression.AbstractExpression | +--wugle.expression.AbstractBinaryOperator | +--wugle.expression.logic.LogicBinaryOperator | +--wugle.expression.logic.And
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 |
public static java.lang.String SYMBOL
Constructor Detail |
public And(Expression leftChild, Expression rightChild)
Method Detail |
public Value identityElement()
public DeMorgans deMorgans() throws java.lang.Exception
deMorgans
in interface DeMorgans
deMorgans
in class LogicBinaryOperator
java.lang.Exception
public boolean canDominate()
public TruthValue tautology() throws java.lang.Exception
tautology
in interface Tautology
tautology
in class LogicBinaryOperator
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |