wugle.expression.logic
Interface TruthValue

All Superinterfaces:

java.lang.Cloneable, Dominator, Expression, Value

All Known Implementing Classes:

False, True

public interface TruthValue

extends Dominator

Method Summary

UnaryOperator	convert()
Tautology	tautology(Expression child)

Methods inherited from interface wugle.expression.Dominator

dominate

Methods inherited from interface wugle.expression.Value

getValue

Methods inherited from interface wugle.expression.Expression

clone, getParent, getSymbol, isEqual, setParent

Method Detail

convert

public UnaryOperator convert()

tautology

public Tautology tautology(Expression child)