ix.iplan
Class SlipAchiever

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