wugle.expression.logic
Class LogicOperation

java.lang.Object
  |
  +--wugle.expression.ExpressionOperation
        |
        +--wugle.expression.logic.LogicOperation

public class LogicOperation

extends ExpressionOperation

Version:

0.1.3

Author:

Jacob Perkins

Constructor Summary

LogicOperation()

Method Summary

boolean	canTautology(Tautology operator)
DoubleNegatable	doubleNegate(DoubleNegatable expression)

Methods inherited from class wugle.expression.ExpressionOperation

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicOperation

public LogicOperation()

Method Detail

doubleNegate

public DoubleNegatable doubleNegate(DoubleNegatable expression)

Overrides:

doubleNegate in class ExpressionOperation

canTautology

public boolean canTautology(Tautology operator)