|
pddl_planner
|
Manage variable, i.e. for PDDL description these variables start with a quotation mark. More...
#include <Domain.hpp>
Public Member Functions | |
| VariableManager (const ArgumentList &arguments=ArgumentList()) | |
| void | push (const Label &label) |
| Label | pop () |
| std::vector< Label > | getOperatorStack () const |
| std::string | getOperatorStackAsString () const |
| void | registerVariable (const std::string &name) |
| bool | isKnownVariable (const std::string &name) const |
| bool | hasTypedVariable (const TypedItemList &list, const TypedItem &item) const |
Static Public Member Functions | |
| static std::string | canonize (const std::string &name) |
| static bool | isVariable (const std::string &name) |
| static void | addTypedVariable (TypedItemList &list, const TypedItem &item) |
Manage variable, i.e. for PDDL description these variables start with a quotation mark.
| pddl_planner::representation::VariableManager::VariableManager | ( | const ArgumentList & | arguments = ArgumentList() | ) |
|
static |
Add a typed variable to a list This makes sure that the label provided in TypedItem is a variable
|
static |
|
inline |
Get operator stack as list
| std::string pddl_planner::representation::VariableManager::getOperatorStackAsString | ( | ) | const |
Get the operator stack as string for debugging purposes
| bool pddl_planner::representation::VariableManager::hasTypedVariable | ( | const TypedItemList & | list, |
| const TypedItem & | item | ||
| ) | const |
Check whether the provided item already exists in the list
| if | the types of the existing item and the item for testing differ, though the labels are the same |
| bool pddl_planner::representation::VariableManager::isKnownVariable | ( | const std::string & | name | ) | const |
Test is variable is known / registered
| name | Name of variable |
|
static |
| Label pddl_planner::representation::VariableManager::pop | ( | ) |
| void pddl_planner::representation::VariableManager::push | ( | const Label & | label | ) |
| void pddl_planner::representation::VariableManager::registerVariable | ( | const std::string & | name | ) |
Register variable by name
| name | Name of variable |
1.8.11