org.matheclipse.core.patternmatching

Class DownRulesData

java.lang.Object

org.matheclipse.core.patternmatching.DownRulesData

All Implemented Interfaces:

java.io.Serializable

public class DownRulesData
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
DownRulesData()

Method Summary

Modifier and Type	Method and Description
void	clear()
java.util.List<IAST>	definition()
IExpr	evalDownRule(IEvaluationEngine ee, IExpr expression)
IExpr	evalDownRule(IExpr expression)
java.util.Map<IExpr,PatternMatcherEquals>	getEqualDownRules()
IPatternMatcher	putDownRule(ISymbol setSymbol, boolean equalRule, IExpr leftHandSide, IExpr rightHandSide, int priority)
PatternMatcher	putDownRule(PatternMatcherAndInvoker pmEvaluator)
void	readSymbol(java.io.ObjectInputStream stream)
void	writeSymbol(java.io.ObjectOutputStream stream)

Methods inherited from class java.lang.Object

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

Constructor Detail

DownRulesData

public DownRulesData()

Method Detail

clear

public void clear()

evalDownRule

public IExpr evalDownRule(IExpr expression)

evalDownRule

public IExpr evalDownRule(IEvaluationEngine ee,
                          IExpr expression)

putDownRule

public IPatternMatcher putDownRule(ISymbol setSymbol,
                                   boolean equalRule,
                                   IExpr leftHandSide,
                                   IExpr rightHandSide,
                                   int priority)

putDownRule

public PatternMatcher putDownRule(PatternMatcherAndInvoker pmEvaluator)

getEqualDownRules

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

Returns:

Returns the equalRules.

definition

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

readSymbol

public void readSymbol(java.io.ObjectInputStream stream)
                throws java.io.IOException

Throws:

java.io.IOException

writeSymbol

public void writeSymbol(java.io.ObjectOutputStream stream)
                 throws java.io.IOException

Throws:

java.io.IOException