wugle.expression.logic
Interface Tautology

All Superinterfaces:

BinaryOperator, java.lang.Cloneable, Expression, Operator

All Known Implementing Classes:

LogicBinaryOperator

public interface Tautology

extends BinaryOperator

Method Summary

boolean	canTautology()
TruthValue	tautology()

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

Method Detail

canTautology

public boolean canTautology()

tautology

public TruthValue tautology()
                     throws java.lang.Exception

java.lang.Exception