org.matheclipse.core.patternmatching

Class HashedOrderlessMatcher

java.lang.Object

org.matheclipse.core.patternmatching.HashedOrderlessMatcher

public class HashedOrderlessMatcher
extends java.lang.Object

Match two arguments of an Orderless AST into a new resulting expression.

See Also:

HashedPatternRules

Constructor Summary

Constructors

Constructor and Description
HashedOrderlessMatcher()

Method Summary

Modifier and Type	Method and Description
void	defineHashRule(IExpr lhs1, IExpr lhs2, BinaryFunctorImpl<IExpr> function)
void	defineHashRule(IExpr lhs1, IExpr lhs2, IExpr rhs) Define the rule for the Orderless operator OP.
void	defineHashRule(IExpr lhs1, IExpr lhs2, IExpr rhs, IExpr condition) Define the rule for the Orderless operator OP.
void	defineHashRule(java.lang.String lhs1Str, java.lang.String lhs2Str, BinaryFunctorImpl<IExpr> function)
void	defineHashRule(java.lang.String lhs1Str, java.lang.String lhs2Str, java.lang.String rhsStr) Define the rule for the Orderless operator OP.
void	defineHashRule(java.lang.String lhs1Str, java.lang.String lhs2Str, java.lang.String rhsStr, java.lang.String conditionStr)
void	definePatternHashRule(IExpr lhs1, IExpr lhs2, IExpr rhs) Define the rule for the Orderless operator OP.
void	definePatternHashRule(IExpr lhs1, IExpr lhs2, IExpr rhs, IExpr condition) Define the rule for the Orderless operator OP.
IAST	evaluate(IAST orderlessAST) Evaluate an Orderless AST with the defined HashedPatternRules.

Methods inherited from class java.lang.Object

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

Constructor Detail

HashedOrderlessMatcher

public HashedOrderlessMatcher()

Method Detail

defineHashRule

public void defineHashRule(java.lang.String lhs1Str,
                           java.lang.String lhs2Str,
                           java.lang.String rhsStr)
                    throws SyntaxError

Define the rule for the Orderless operator OP. OP[lhs1Str, lhs2Str, ....] := OP[rhsStr, ...]

Parameters:

lhs1Str -

lhs2Str -

rhsStr -

Throws:

SyntaxError

defineHashRule

public void defineHashRule(java.lang.String lhs1Str,
                           java.lang.String lhs2Str,
                           BinaryFunctorImpl<IExpr> function)
                    throws SyntaxError

Throws:

SyntaxError

defineHashRule

public void defineHashRule(java.lang.String lhs1Str,
                           java.lang.String lhs2Str,
                           java.lang.String rhsStr,
                           java.lang.String conditionStr)
                    throws SyntaxError

Throws:

SyntaxError

defineHashRule

public void defineHashRule(IExpr lhs1,
                           IExpr lhs2,
                           IExpr rhs)

Define the rule for the Orderless operator OP. OP[lhs1, lhs2, ....] := OP[rhs, ...]

Parameters:

lhs1 -

lhs2 -

rhs -

defineHashRule

public void defineHashRule(IExpr lhs1,
                           IExpr lhs2,
                           IExpr rhs,
                           IExpr condition)

Define the rule for the Orderless operator OP. OP[lhs1, lhs2, ....] := OP[rhs, ...] /; condition

Parameters:

lhs1 -

lhs2 -

rhs -

condition -

defineHashRule

public void defineHashRule(IExpr lhs1,
                           IExpr lhs2,
                           BinaryFunctorImpl<IExpr> function)

definePatternHashRule

public void definePatternHashRule(IExpr lhs1,
                                  IExpr lhs2,
                                  IExpr rhs)

Define the rule for the Orderless operator OP. OP[lhs1Str, rhsStr, ....] := OP[rhsStr, ...] /; condition

Parameters:

lhs1 -

lhs2 -

rhs -

definePatternHashRule

public void definePatternHashRule(IExpr lhs1,
                                  IExpr lhs2,
                                  IExpr rhs,
                                  IExpr condition)

Define the rule for the Orderless operator OP. OP[lhs1Str, rhsStr, ....] := OP[rhsStr, ...] /; condition

Parameters:

lhs1 -

lhs2 -

rhs -

condition -

evaluate

public IAST evaluate(IAST orderlessAST)

Evaluate an Orderless AST with the defined HashedPatternRules.

Parameters:

orderlessAST -

Returns:

See Also:

HashedPatternRules