ix.ip2
Class VariableManager.FilterMatcher

java.lang.Object
  ix.ip2.VariableManager.FilterMatcher

Enclosing class:

VariableManager

protected class VariableManager.FilterMatcher
extends java.lang.Object

Field Summary

protected java.util.List	resultEnvs
protected java.util.Map	stateMap

Method Summary

protected void	evalComputeFilter(Constraint c, LList restConds, MatchEnv baseEnv)
protected void	filter(Constraint c, LList restConds, MatchEnv baseEnv)
protected void	matchComputeResult(Constraint c, java.lang.Object value, LList restConds, MatchEnv baseEnv)
protected MatchEnv	matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)

Methods inherited from class java.lang.Object

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

Field Detail

stateMap

protected java.util.Map stateMap

resultEnvs

protected java.util.List resultEnvs

Method Detail

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)