Function plansys2::check(const plansys2_msgs::msg::Tree&, std::vector<plansys2::Predicate>&, std::vector<plansys2::Function>&, uint32_t)

Function Documentation

bool plansys2::check(const plansys2_msgs::msg::Tree &tree, std::vector<plansys2::Predicate> &predicates, std::vector<plansys2::Function> &functions, uint32_t node_id = 0)

Check a PDDL expression represented as a tree using local state.

Parameters:
  • tree[in] The root node of the PDDL expression.

  • predicates[in] Current predicates state.

  • functions[in] Current functions state.

  • node_id[in] Node identifier in the tree (default: 0).

Returns:

bool Truth value of the PDDL expression.