ix.ip2
Class VariableManager.FilterMatcher

java.lang.Object
  extended by 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)