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.iplan
Class SlipAchiever

    java.lang.Object
      ix.iplan.SlipAchiever

     class SlipAchiever

extends java.lang.Object

A way to achieve a condition.

Field Summary
`(package private) PatternAssignment` | `cond`
`(package private) MatchEnv` | `condMatchEnv`
`(package private) PatternAssignment` | `effect`
`(package private) Refinement` | `refinement`

Constructor Summary
`SlipAchiever(PatternAssignment cond, Refinement refinement, PatternAssignment effect, MatchEnv condMatchEnv)`

Method Summary
`(package private) MatchEnv` | `rematchCond()`
`java.lang.String` | `toString()`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Field Detail

### cond

    PatternAssignment cond

### refinement

    Refinement refinement

### effect

    PatternAssignment effect

### condMatchEnv

    MatchEnv condMatchEnv

Constructor Detail

### SlipAchiever

    SlipAchiever(PatternAssignment cond,
                 Refinement refinement,
                 PatternAssignment effect,
                 MatchEnv condMatchEnv)

Method Detail

### rematchCond

    MatchEnv rematchCond()

### toString

    public java.lang.String toString()

  Overrides:
    `toString` in class `java.lang.Object`

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