public class HashedPatternFunction extends AbstractHashedPatternRules
HashedOrderlessMatcher
to set up a rule with a BinaryFunctorImpl
evaluation
implementationfLHSPattern1, fLHSPattern2, fRulesData, hash1, hash2, hashSum
Constructor and Description |
---|
HashedPatternFunction(IExpr lhsPattern1,
IExpr lhsPattern2,
BinaryFunctorImpl<IExpr> function,
boolean defaultHashCode) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
IExpr |
evalDownRule(IExpr e1,
IExpr e2) |
BinaryFunctorImpl<IExpr> |
getFunction() |
calculateHashcode, getHash1, getHash2, hashCode, isPattern1, isPattern2
public HashedPatternFunction(IExpr lhsPattern1, IExpr lhsPattern2, BinaryFunctorImpl<IExpr> function, boolean defaultHashCode)
lhsPattern1
- first left-hand-side patternlhsPattern2
- second left-hand-side patternfunction
- the binary function to call for the argumentsdefaultHashCode
- public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public BinaryFunctorImpl<IExpr> getFunction()
public IExpr evalDownRule(IExpr e1, IExpr e2)
evalDownRule
in class AbstractHashedPatternRules