(action->grounding action selection)
(extract-all-atoms action)
(extract-atoms formula)
(get-arity action)
(ground-action objects action)
(ground-actions objects actions)
(ground-all-actions domprob)
(ground-relevant-predicates domprob)
(inconsistent-set? all-atoms negated-atoms)
(inconsistent? action)
(substitute action pairs)
(substitute-all-params pairs params)
(substitute-effect action pairs)
(substitute-formula pairs formula-old)
(substitute-match pairs param)
(substitute-parameters action pairs)
(substitute-precondition action pairs)
(valid-pair? pair)
cljdoc is a website building & hosting documentation for Clojure/Script libraries