ix.iplan
Class SlipAchiever

java.lang.Object
  extended by ix.iplan.SlipAchiever

 class SlipAchiever
extends java.lang.Object

A way to achieve a condition by using a refinement for an introduced node. Each goal-node has a list of achievers, one for each refinement that might be used to satisfy the condition that goal-node was introduced to satisfy.


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