ix.iplan
Class SlipAchieveConds

java.lang.Object
  ix.iplan.SlipAchieveConds

All Implemented Interfaces:

Slip.Step, java.lang.Runnable

 class SlipAchieveConds
extends java.lang.Object
implements Slip.Step

Introduces nodes intended to satisfy preconditions of a node already in the plan.

Nested Class Summary

(package private) static class

SlipAchieveConds.SatisfyEvalNowConds

Field Summary

(package private) ix.icore.domain.ListOfConstraint	conds
(package private) AgendaItem	item
(package private) Slip	slip

Constructor Summary

SlipAchieveConds(Slip slip, PNode node, ix.icore.domain.ListOfConstraint conds)

Method Summary

(package private) boolean	findSatisfactionMethods(java.util.List goalNodes, java.util.List evalNow, java.util.List impossible)
(package private) boolean	parallelMightSatisfy(PatternAssignment pv, long shadowedMark)
void	run()
(package private) boolean	willBindVars(java.util.List evalNow, Constraint cond)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

slip

Slip slip

item

AgendaItem item

conds

ix.icore.domain.ListOfConstraint conds

Constructor Detail

SlipAchieveConds

SlipAchieveConds(Slip slip,
                 PNode node,
                 ix.icore.domain.ListOfConstraint conds)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

findSatisfactionMethods

boolean findSatisfactionMethods(java.util.List goalNodes,
                                java.util.List evalNow,
                                java.util.List impossible)

willBindVars

boolean willBindVars(java.util.List evalNow,
                     Constraint cond)

parallelMightSatisfy

boolean parallelMightSatisfy(PatternAssignment pv,
                             long shadowedMark)