org.jscience.mathematics.analysis.expressions.logical
Class LogicalVariable

java.lang.Object
  extended by org.jscience.mathematics.analysis.expressions.logical.LogicalVariable
All Implemented Interfaces:
java.io.Serializable, Logical

public class LogicalVariable
extends java.lang.Object
implements Logical

DOCUMENT ME!

See Also:
Serialized Form

Constructor Summary
LogicalVariable(java.lang.String name)
          Creates a new LogicalVariable object.
LogicalVariable(java.lang.String name, boolean value)
          Creates a new LogicalVariable object.
 
Method Summary
 boolean contains(Expression e)
          DOCUMENT ME!
 Logical optimize()
          DOCUMENT ME!
 Logical replace(Expression a, Expression b)
          DOCUMENT ME!
 java.lang.String toJava()
          DOCUMENT ME!
 java.lang.String toString()
          DOCUMENT ME!
 java.lang.String toXML()
          DOCUMENT ME!
 boolean truthValue()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LogicalVariable

public LogicalVariable(java.lang.String name,
                       boolean value)
Creates a new LogicalVariable object.

Parameters:
name - DOCUMENT ME!
value - DOCUMENT ME!

LogicalVariable

public LogicalVariable(java.lang.String name)
Creates a new LogicalVariable object.

Parameters:
name - DOCUMENT ME!
Method Detail

truthValue

public boolean truthValue()
DOCUMENT ME!

Specified by:
truthValue in interface Logical
Returns:
DOCUMENT ME!

replace

public Logical replace(Expression a,
                       Expression b)
DOCUMENT ME!

Specified by:
replace in interface Logical
Parameters:
a - DOCUMENT ME!
b - DOCUMENT ME!
Returns:
DOCUMENT ME!

contains

public boolean contains(Expression e)
DOCUMENT ME!

Specified by:
contains in interface Logical
Parameters:
e - DOCUMENT ME!
Returns:
DOCUMENT ME!

optimize

public Logical optimize()
DOCUMENT ME!

Specified by:
optimize in interface Logical
Returns:
DOCUMENT ME!

toString

public java.lang.String toString()
DOCUMENT ME!

Specified by:
toString in interface Logical
Overrides:
toString in class java.lang.Object
Returns:
DOCUMENT ME!

toJava

public java.lang.String toJava()
DOCUMENT ME!

Specified by:
toJava in interface Logical
Returns:
DOCUMENT ME!

toXML

public java.lang.String toXML()
DOCUMENT ME!

Specified by:
toXML in interface Logical
Returns:
DOCUMENT ME!