Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD