org.matheclipse.core.patternmatching

Class RulesData

java.lang.Object

org.matheclipse.core.patternmatching.RulesData

All Implemented Interfaces:

java.io.Serializable

public class RulesData
extends java.lang.Object
implements java.io.Serializable

The pattern matching rules associated with a symbol.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
RulesData(Context context)
RulesData(Context context, int[] sizes)

Method Summary

Modifier and Type	Method and Description
void	clear()
static boolean	containsOrderlessASTOrDefaultPattern(IAST lhsAST)
java.util.List<IAST>	definition()
IExpr	evalDownRule(IExpr expression)
IExpr	evalSimpleRatternDownRule(OpenIntToSet<IPatternMatcher> hashToMatcherMap, int hash, IAST expression, boolean showSteps)
IExpr	evalUpRule(IExpr expression)
java.util.Map<IExpr,PatternMatcherEquals>	getEqualDownRules()
java.util.Map<IExpr,PatternMatcherEquals>	getEqualUpRules()
static boolean	isComplicatedPatternRule(IExpr lhsExpr, java.util.Set<ISymbol> neededSymbols)
IPatternMatcher	putDownRule(IExpr leftHandSide, AbstractPatternMatcherMethod pmEvaluator)
IPatternMatcher	putDownRule(IExpr leftHandSide, IExpr rightHandSide)
IPatternMatcher	putDownRule(ISymbol.RuleType setSymbol, boolean equalRule, IExpr leftHandSide, IExpr rightHandSide)
PatternMatcher	putDownRule(PatternMatcherAndInvoker pmEvaluator)
IPatternMatcher	putUpRule(ISymbol.RuleType setSymbol, boolean equalRule, IAST leftHandSide, IExpr rightHandSide)
void	removeRule(ISymbol.RuleType setSymbol, boolean equalRule, IExpr leftHandSide)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

RulesData

public RulesData(Context context)

RulesData

public RulesData(Context context,
                 int[] sizes)

Method Detail

clear

public void clear()

containsOrderlessASTOrDefaultPattern

public static boolean containsOrderlessASTOrDefaultPattern(IAST lhsAST)

definition

public java.util.List<IAST> definition()

evalDownRule

public IExpr evalDownRule(IExpr expression)

Parameters:

expression -

ee - evaluation engine

Returns:

F.NIL if no evaluation was possible

evalSimpleRatternDownRule

public IExpr evalSimpleRatternDownRule(OpenIntToSet<IPatternMatcher> hashToMatcherMap,
                                       int hash,
                                       IAST expression,
                                       boolean showSteps)
                                throws java.lang.CloneNotSupportedException

Throws:

java.lang.CloneNotSupportedException

evalUpRule

public IExpr evalUpRule(IExpr expression)

getEqualDownRules

public java.util.Map<IExpr,PatternMatcherEquals> getEqualDownRules()

Returns:

Returns the equalRules.

getEqualUpRules

public java.util.Map<IExpr,PatternMatcherEquals> getEqualUpRules()

Returns:

Returns the equalRules.

isComplicatedPatternRule

public static boolean isComplicatedPatternRule(IExpr lhsExpr,
                                               java.util.Set<ISymbol> neededSymbols)

putDownRule

public final IPatternMatcher putDownRule(IExpr leftHandSide,
                                         IExpr rightHandSide)

putDownRule

public IPatternMatcher putDownRule(ISymbol.RuleType setSymbol,
                                   boolean equalRule,
                                   IExpr leftHandSide,
                                   IExpr rightHandSide)

putDownRule

public IPatternMatcher putDownRule(IExpr leftHandSide,
                                   AbstractPatternMatcherMethod pmEvaluator)

putDownRule

public PatternMatcher putDownRule(PatternMatcherAndInvoker pmEvaluator)

putUpRule

public IPatternMatcher putUpRule(ISymbol.RuleType setSymbol,
                                 boolean equalRule,
                                 IAST leftHandSide,
                                 IExpr rightHandSide)

removeRule

public void removeRule(ISymbol.RuleType setSymbol,
                       boolean equalRule,
                       IExpr leftHandSide)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object