concepts.dm.pdsketch.crow.crow_planner_execution

A temporary implementation of the CROW planner but with an execution interface. The current implementation assumes that all regression rules are annotated with [[always=true]], and furthermore, it will always execute primitive actions. That is, every single action is appended with a commit flag.

Functions

crow_recursive_simple_with_execution(...[, ...])	Compositional Regression and Optimization Wayfinder.
make_rule_applier(rule, bounded_variables)	Make a rule applier from a regression rule and a set of bounded variables.