ix.ip2
Class AdviceManager

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