org.matheclipse.core.patternmatching

Class UpRulesData

java.lang.Object

org.matheclipse.core.patternmatching.UpRulesData

All Implemented Interfaces:

java.io.Serializable

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

Method Summary

Modifier and Type	Method and Description
void	clear()
java.util.List<IAST>	definition()
IExpr	evalUpRule(IEvaluationEngine ee, IExpr expression)
java.util.Map<IExpr,PatternMatcherEquals>	getEqualUpRules()
IPatternMatcher	putUpRule(ISymbol setSymbol, boolean equalRule, IAST leftHandSide, IExpr rightHandSide, int priority)
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

UpRulesData

public UpRulesData()

Method Detail

clear

public void clear()

evalUpRule

public IExpr evalUpRule(IEvaluationEngine ee,
                        IExpr expression)

putUpRule

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

getEqualUpRules

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

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