wugle.expression.logic
Class True

java.lang.Object
  |
  +--wugle.expression.AbstractExpression
        |
        +--wugle.expression.AbstractValue
              |
              +--wugle.expression.logic.True

All Implemented Interfaces:

java.lang.Cloneable, Dominator, DoubleNegatable, Expression, TruthValue, Value

public class True

extends AbstractValue

implements DoubleNegatable, TruthValue

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

True()

Method Summary

UnaryOperator	convert()
Dominatable	dominate(Expression submitter)
DoubleNegatable	doubleNegate()
Tautology	tautology(Expression child)

Methods inherited from class wugle.expression.AbstractValue

getValue, isEqual

Methods inherited from class wugle.expression.AbstractExpression

clone, getParent, getSymbol, setParent, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface wugle.expression.Expression

clone, getParent, getSymbol, isEqual, setParent

Methods inherited from interface wugle.expression.Value

getValue

Field Detail

SYMBOL

public static java.lang.String SYMBOL

Constructor Detail

True

public True()

Method Detail

doubleNegate

public DoubleNegatable doubleNegate()

Specified by:

doubleNegate in interface DoubleNegatable

dominate

public Dominatable dominate(Expression submitter)

Specified by:

dominate in interface Dominator

convert

public UnaryOperator convert()

Specified by:

convert in interface TruthValue

tautology

public Tautology tautology(Expression child)

Specified by:

tautology in interface TruthValue