org.matheclipse.core.patternmatching

Class PatternMatcherAndEvaluator

java.lang.Object

org.matheclipse.core.patternmatching.IPatternMatcher

org.matheclipse.core.patternmatching.PatternMatcher

org.matheclipse.core.patternmatching.PatternMatcherAndEvaluator

All Implemented Interfaces:

Predicate<IExpr>, java.io.Serializable, java.lang.Cloneable

public class PatternMatcherAndEvaluator
extends PatternMatcher
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.matheclipse.core.patternmatching.PatternMatcher

PatternMatcher.OrderlessMatcher

Constructor Summary

Constructors

Constructor and Description
PatternMatcherAndEvaluator(ISymbol setSymbol, IExpr leftHandSide, IExpr rightHandSide)

Method Summary

Modifier and Type	Method and Description
boolean	checkRHSCondition(EvalEngine engine) Check if the condition for the right-hand-sides Module[] or Condition[] expressions evaluates to true.
java.lang.Object	clone()
boolean	equals(java.lang.Object obj) Indicates whether another object is equal to this predicate.
IExpr	eval(IExpr lhsEvalExpr) Match the (left-hand-side) pattern with the given expression.
IExpr	getRHS() Get the "right-hand-side" of a pattern-matching rule.
ISymbol	getSetSymbol()
int	hashCode()

Methods inherited from class org.matheclipse.core.patternmatching.PatternMatcher

apply, checkCondition, equivalent, evalLeftHandSide, evalLeftHandSide, getCondition, getPatterns, isRuleWithoutPatterns, setCondition

Methods inherited from class org.matheclipse.core.patternmatching.IPatternMatcher

getLHS

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PatternMatcherAndEvaluator

public PatternMatcherAndEvaluator(ISymbol setSymbol,
                                  IExpr leftHandSide,
                                  IExpr rightHandSide)

Parameters:

setSymbol - the symbol which defines this pattern-matching rule (i.e. Set, SetDelayed,...)

leftHandSide - could contain pattern expressions for "pattern-matching"

rightHandSide - the result which should be evaluated if the "pattern-matching" succeeds

Method Detail

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Overrides:

clone in class PatternMatcher

Throws:

java.lang.CloneNotSupportedException

equals

public boolean equals(java.lang.Object obj)

Description copied from interface: Predicate

Indicates whether another object is equal to this predicate.

Most implementations will have no reason to override the behavior of Object.equals(java.lang.Object). However, an implementation may also choose to return true whenever object is a Predicate that it considers interchangeable with this one. "Interchangeable" typically means that this.apply(t) == that.apply(t) for all t of type T). Note that a false result from this method does not imply that the predicates are known not to be interchangeable.

Specified by:

equals in interface Predicate<IExpr>

Overrides:

equals in class PatternMatcher

hashCode

public int hashCode()

Overrides:

hashCode in class PatternMatcher

checkRHSCondition

public boolean checkRHSCondition(EvalEngine engine)

Check if the condition for the right-hand-sides Module[] or Condition[] expressions evaluates to true.

Overrides:

checkRHSCondition in class PatternMatcher

Returns:

true if the right-hand-sides condition is fulfilled.

See Also:

checkRHSCondition(EvalEngine)

eval

public IExpr eval(IExpr lhsEvalExpr)

Match the (left-hand-side) pattern with the given expression. If true evaluate the right-hand-side for the determined values of the patterns

Overrides:

eval in class PatternMatcher

Parameters:

ee -

evalExpr -

Returns:

getRHS

public IExpr getRHS()

Description copied from class: IPatternMatcher

Get the "right-hand-side" of a pattern-matching rule.

Overrides:

getRHS in class IPatternMatcher

Returns:

null if no right-hand-side is defined for the pattern matcher

getSetSymbol

public ISymbol getSetSymbol()