ix.ip2
Class VariableManager.FilterMatcher
java.lang.Object
ix.ip2.VariableManager.FilterMatcher
- Enclosing class:
- VariableManager
protected class VariableManager.FilterMatcher
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
stateMap
protected java.util.Map stateMap
resultEnvs
protected java.util.List resultEnvs
filter
protected void filter(Constraint c,
LList restConds,
MatchEnv baseEnv)
matchFilter
protected MatchEnv matchFilter(PatternAssignment pv,
java.util.Map.Entry entry,
MatchEnv baseEnv)
evalComputeFilter
protected void evalComputeFilter(Constraint c,
LList restConds,
MatchEnv baseEnv)
matchComputeResult
protected void matchComputeResult(Constraint c,
java.lang.Object value,
LList restConds,
MatchEnv baseEnv)