ix.ip2
Class AdviceManager

java.lang.Object
  extended by ix.ip2.AdviceManager

public class AdviceManager
extends java.lang.Object


Field Summary
static Symbol S_ADVICE
           
static Symbol S_EXPANSION_REFINEMENT
           
protected  ContextMap verbToRefinementNames
           
 
Constructor Summary
AdviceManager(Ip2ModelManager mm)
           
 
Method Summary
 void addConstraint(PNode node, Constraint c)
           
 boolean isUsableRefinement(Refinement r)
           
 void reset()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

S_ADVICE

public static final Symbol S_ADVICE

S_EXPANSION_REFINEMENT

public static final Symbol S_EXPANSION_REFINEMENT

verbToRefinementNames

protected ContextMap verbToRefinementNames
Constructor Detail

AdviceManager

public AdviceManager(Ip2ModelManager mm)
Method Detail

reset

public void reset()

addConstraint

public void addConstraint(PNode node,
                          Constraint c)

isUsableRefinement

public boolean isUsableRefinement(Refinement r)