org.matheclipse.core.patternmatching

Class PatternMatcher.OrderlessMatcher

java.lang.Object

org.matheclipse.core.patternmatching.PatternMatcher.OrderlessMatcher

Enclosing class:

PatternMatcher

public class PatternMatcher.OrderlessMatcher
extends java.lang.Object

Matches an IAST with header attribute Orderless .

See Also:

ISymbol.ORDERLESS

Constructor Summary

Constructors

Constructor and Description
OrderlessMatcher(IAST lhsPatternAST, IAST lhsEvalAST) Match a pattern expression against an evaluation expression, there the arguments are commutative (i.e. the head of the AST expression has attribute Orderless)

Method Summary

Modifier and Type	Method and Description
void	filterResult(IAST result)
boolean	matchOrderlessAST(int lhsPosition, PatternMatcher.StackMatcher stackMatcher)

Methods inherited from class java.lang.Object

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

Constructor Detail

OrderlessMatcher

public OrderlessMatcher(IAST lhsPatternAST,
                        IAST lhsEvalAST)

Match a pattern expression against an evaluation expression, there the arguments are commutative (i.e. the head of the AST expression has attribute Orderless)

Parameters:

lhsPatternAST - the pattern AST

lhsEvalAST - the evaluation AST

Method Detail

matchOrderlessAST

public boolean matchOrderlessAST(int lhsPosition,
                                 PatternMatcher.StackMatcher stackMatcher)

Parameters:

lhsPosition - the position in the LHS expression which should actually be matched.

stackMatcher - TODO

Returns:

filterResult

public void filterResult(IAST result)