mapping from literals to goal node that considers them
(used for repeated goal detection, updating the set of applicable ops,
and updating maintainance goals)
the goals that have been achieved that are preconditions of operators in the
tail plan that haven't been applied yet (used for noticing when replanning to
achieve preconditions is necessary)
make() -
Method in class edu.cmu.cs.coral.icf.plan_based.planners.pip.ListChange