net.mumie.mathletfactory.math.algebra.rel.node

Class AndRel

java.lang.Object

net.mumie.mathletfactory.math.algebra.AbstractTreeNode

net.mumie.mathletfactory.math.algebra.rel.node.RelNode

net.mumie.mathletfactory.math.algebra.rel.node.ComplexRel

net.mumie.mathletfactory.math.algebra.rel.node.AndRel

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable, NumberTypeDependentIF

public class AndRel
extends ComplexRel

This class models the AND-Conjunction in the Rel-Scheme. It has two or more RelNodes as children.

Author:

Paehler

Document status:

finished

Field Summary

Fields inherited from class net.mumie.mathletfactory.math.algebra.rel.node.RelNode

m_children, m_parent, m_relation

Fields inherited from class net.mumie.mathletfactory.math.algebra.AbstractTreeNode

m_numberClass

Constructor Summary

Constructors

Constructor and Description
AndRel(RelNode[] children)
AndRel(RelNode child1, RelNode child2)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	evaluate(java.util.HashMap variableValues) Returns true, if RelNode.evaluate(HashMap variableValues) is true for all children.
boolean	evaluateFast() Returns true, if RelNode.evaluateFast() is true for any of the children.
FiniteBorelSet	getFalseFor(double epsilon, Interval interval) Joins the intervals for which the children of this node are false.
boolean	getLogicalResult(boolean[] values) Returns true if all values are true, false otherwise.
java.lang.String	getStringSymbol() Returns "AND".
FiniteBorelSet	getTrueFor(double epsilon, Interval interval) Intersects the intervals for which the children of this node are true.
RelNode	negate(boolean deepCopy) Logically negates the relation represented by this node and returns this.

Methods inherited from class net.mumie.mathletfactory.math.algebra.rel.node.ComplexRel

getIntervalsFalse, getIntervalsTrue, getNormalForm, getNumberClass, getUsedVariables, isLeaf, separateFor, setNormalForm, toString, toString

Methods inherited from class net.mumie.mathletfactory.math.algebra.rel.node.RelNode

children, clone, compareTo, equals, extractNode, getChildren, getDepth, getFirstChildOfType, getParent, getRelation, getSimpleRelations, getSubrelations, insertNode, insertNodes, parent, parenthesesNeeded, setChildren, setChildren, setParent, setParent, setRelation

Methods inherited from class net.mumie.mathletfactory.math.algebra.AbstractTreeNode

contains, extractNode, getDepth, insertNode, replace, replaceByValue, replaceWith

Methods inherited from class java.lang.Object

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

Constructor Detail

AndRel

public AndRel(RelNode[] children)

AndRel

public AndRel(RelNode child1,
      RelNode child2)

Method Detail

evaluate

public boolean evaluate(java.util.HashMap variableValues)

Returns true, if RelNode.evaluate(HashMap variableValues) is true for all children.

Specified by:

evaluate in class RelNode

Parameters:

variableValues - a mapping of identifiers (Strings) to values (MMNumbers)

See Also:

net.mumie.mathletfactory.algebra.rel.node.RelNode#evaluate(HashMap)

evaluateFast

public boolean evaluateFast()

Returns true, if RelNode.evaluateFast() is true for any of the children.

Specified by:

evaluateFast in class RelNode

See Also:

net.mumie.mathletfactory.algebra.rel.node.RelNode#evaluateFast()

negate

public RelNode negate(boolean deepCopy)

Description copied from class: RelNode

Logically negates the relation represented by this node and returns this.

Specified by:

negate in class RelNode

Parameters:

deepCopy - true if the complete relation tree should be deep copied otherwise only the top node will be new.

getStringSymbol

public java.lang.String getStringSymbol()

Returns "AND".

Specified by:

getStringSymbol in class ComplexRel

See Also:

ComplexRel.toString(java.text.DecimalFormat)

getLogicalResult

public boolean getLogicalResult(boolean[] values)

Returns true if all values are true, false otherwise.

Specified by:

getLogicalResult in class ComplexRel

See Also:

net.mumie.mathletfactory.algebra.rel.node.ComplexRel#getLogicalResult(boolean[])

getTrueFor

public FiniteBorelSet getTrueFor(double epsilon,
                        Interval interval)

Intersects the intervals for which the children of this node are true.

Overrides:

getTrueFor in class RelNode

getFalseFor

public FiniteBorelSet getFalseFor(double epsilon,
                         Interval interval)

Joins the intervals for which the children of this node are false.

Overrides:

getFalseFor in class RelNode