EXAMPLES_CPP.md

C++ Examples

The following examples show some common use cases for Mimir. See also the Python examples, the C++ implementation is often very similar.

Parse and Solve Instance

The following code snippet parses domain domain.pddl' and problem problem.pddl', creates a lifted successor generator, and solves it using breadth-first search. The result of the search is stored in status and plan. If the instance is solvable, status will say so, and plan will contain a list of ground actions.

#include  <mimir/mimir.hpp>

const auto parser = PDDLParser("domain.pddl", "problem.pddl")
const auto applicable_action_generator = std::make_shared<LiftedApplicableActionGenerator>(parser.get_problem(), parser.get_pddl_repositories())
const auto brfs = BrFSAlgorithm(applicable_action_generator)
const auto [status, plan] = brfs.find_solution()