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