#include <cstdlib>
#include <iostream>
#include <fstream>
#include <cassert>
#include <string>
#include <vector>
#include "helper_functions.h"
#include "state.h"
#include "operator.h"
#include "axiom.h"
#include "variable.h"
#include "successor_generator.h"
#include "domain_transition_graph.h"
Go to the source code of this file.
Functions | |
void | check_magic (istream &in, string magic) |
void | dump_DTGs (const vector< Variable * > &ordering, vector< DomainTransitionGraph * > &transition_graphs) |
void | dump_goal (const vector< pair< Variable *, int > > &goals) |
void | dump_preprocessed_problem_description (const vector< Variable * > &variables, const State &initial_state, const vector< pair< Variable *, int > > &goals, const vector< Operator > &operators, const vector< Axiom_relational > &axioms_rel, const vector< Axiom_functional > &axioms_func) |
void | generate_cpp_input (bool solveable_in_poly_time, const vector< Variable * > &ordered_vars, const vector< string > &moduleInits, const vector< string > &subplanGenerators, const vector< ConditionModule > &cond_modules, const vector< EffectModule > &eff_modules, const vector< ConditionModule > &cost_modules, const vector< TranslatePredicate > &pred_translations, const vector< TranslateFunction > &func_translations, const vector< string > &predConstants, const vector< string > &numConstants, const State &initial_state, const vector< pair< Variable *, int > > &goals, const vector< Operator > &operators, const vector< Axiom_relational > &axioms_rel, const vector< Axiom_functional > &axioms_func, const SuccessorGenerator &sg, const vector< DomainTransitionGraph * > transition_graphs, const CausalGraph &cg, const vector< string > &objects, const vector< string > &oplinits, ostream &outfile) |
compoperator | get_inverse_op (compoperator op) |
ostream & | operator<< (ostream &os, const foperator&fop) |
ostream & | operator<< (ostream &os, const compoperator&fop) |
ostream & | operator<< (ostream &os, const trans_type &tt) |
ostream & | operator<< (ostream &os, const condition_type &ct) |
istream & | operator>> (istream &is, foperator&fop) |
istream & | operator>> (istream &is, compoperator&fop) |
istream & | operator>> (istream &is, trans_type &tt) |
istream & | operator>> (istream &is, condition_type &ct) |
void | read_axioms_comp (istream &in, const vector< Variable * > &variables, vector< Axiom_functional > &axioms_func) |
void | read_axioms_func (istream &in, const vector< Variable * > &variables, vector< Axiom_functional > &axioms_func) |
void | read_axioms_rel (istream &in, const vector< Variable * > &variables, vector< Axiom_relational > &axioms_rel) |
void | read_constants (istream &in, vector< string > &predConst, vector< string > &numConst) |
void | read_goal (istream &in, const vector< Variable * > &variables, vector< pair< Variable *, int > > &goals) |
void | read_modules (istream &in, vector< string > &moduleInits, vector< string > &subplanGenerators, vector< ConditionModule > &condModules, vector< EffectModule > &effectModules, vector< ConditionModule > &costModules, const vector< Variable * > variables) |
void | read_n_strings (istream &in, vector< string > &output) |
void | read_objects (istream &in, vector< string > &objects) |
void | read_operators (istream &in, const vector< Variable * > &variables, vector< Operator > &operators) |
void | read_oplinits (istream &in, vector< string > &oplinits) |
void | read_preprocessed_problem_description (istream &in, vector< Variable > &internal_variables, vector< Variable * > &variables, State &initial_state, vector< pair< Variable *, int > > &goals, vector< Operator > &operators, vector< Axiom_relational > &axioms_rel, vector< Axiom_functional > &axioms_func, vector< string > &moduleInits, vector< string > &subplanGenerators, vector< ConditionModule > &condModules, vector< EffectModule > &effectModules, vector< ConditionModule > &costModules, vector< TranslatePredicate > &predicateTranslations, vector< TranslateFunction > &functionTranslations, vector< string > &pred_constants, vector< string > &num_constants, vector< string > &objects, vector< string > &oplinits) |
void | read_translations (istream &in, vector< TranslatePredicate > &predicateTranslations, vector< TranslateFunction > &functionTranslations, vector< Variable * > variables) |
void | read_variables (istream &in, vector< Variable > &internal_variables, vector< Variable * > &variables) |
void check_magic | ( | istream & | in, |
string | magic | ||
) |
Definition at line 18 of file helper_functions.cpp.
void dump_DTGs | ( | const vector< Variable * > & | ordering, |
vector< DomainTransitionGraph * > & | transition_graphs | ||
) |
Definition at line 243 of file helper_functions.cpp.
void dump_goal | ( | const vector< pair< Variable *, int > > & | goals | ) |
Definition at line 150 of file helper_functions.cpp.
void dump_preprocessed_problem_description | ( | const vector< Variable * > & | variables, |
const State & | initial_state, | ||
const vector< pair< Variable *, int > > & | goals, | ||
const vector< Operator > & | operators, | ||
const vector< Axiom_relational > & | axioms_rel, | ||
const vector< Axiom_functional > & | axioms_func | ||
) |
Definition at line 221 of file helper_functions.cpp.
void generate_cpp_input | ( | bool | solveable_in_poly_time, |
const vector< Variable * > & | ordered_vars, | ||
const vector< string > & | moduleInits, | ||
const vector< string > & | subplanGenerators, | ||
const vector< ConditionModule > & | cond_modules, | ||
const vector< EffectModule > & | eff_modules, | ||
const vector< ConditionModule > & | cost_modules, | ||
const vector< TranslatePredicate > & | pred_translations, | ||
const vector< TranslateFunction > & | func_translations, | ||
const vector< string > & | predConstants, | ||
const vector< string > & | numConstants, | ||
const State & | initial_state, | ||
const vector< pair< Variable *, int > > & | goals, | ||
const vector< Operator > & | operators, | ||
const vector< Axiom_relational > & | axioms_rel, | ||
const vector< Axiom_functional > & | axioms_func, | ||
const SuccessorGenerator & | sg, | ||
const vector< DomainTransitionGraph * > | transition_graphs, | ||
const CausalGraph & | cg, | ||
const vector< string > & | objects, | ||
const vector< string > & | oplinits, | ||
ostream & | outfile | ||
) |
Definition at line 252 of file helper_functions.cpp.
Definition at line 398 of file helper_functions.cpp.
ostream& operator<< | ( | ostream & | os, |
const foperator& | fop | ||
) |
Definition at line 443 of file helper_functions.cpp.
ostream& operator<< | ( | ostream & | os, |
const compoperator& | fop | ||
) |
Definition at line 487 of file helper_functions.cpp.
ostream& operator<< | ( | ostream & | os, |
const trans_type & | tt | ||
) |
Definition at line 532 of file helper_functions.cpp.
ostream& operator<< | ( | ostream & | os, |
const condition_type & | ct | ||
) |
Definition at line 569 of file helper_functions.cpp.
istream& operator>> | ( | istream & | is, |
foperator& | fop | ||
) |
Definition at line 425 of file helper_functions.cpp.
istream& operator>> | ( | istream & | is, |
compoperator& | fop | ||
) |
Definition at line 467 of file helper_functions.cpp.
istream& operator>> | ( | istream & | is, |
trans_type & | tt | ||
) |
Definition at line 514 of file helper_functions.cpp.
istream& operator>> | ( | istream & | is, |
condition_type & | ct | ||
) |
Definition at line 553 of file helper_functions.cpp.
void read_axioms_comp | ( | istream & | in, |
const vector< Variable * > & | variables, | ||
vector< Axiom_functional > & | axioms_func | ||
) |
Definition at line 173 of file helper_functions.cpp.
void read_axioms_func | ( | istream & | in, |
const vector< Variable * > & | variables, | ||
vector< Axiom_functional > & | axioms_func | ||
) |
Definition at line 181 of file helper_functions.cpp.
void read_axioms_rel | ( | istream & | in, |
const vector< Variable * > & | variables, | ||
vector< Axiom_relational > & | axioms_rel | ||
) |
Definition at line 165 of file helper_functions.cpp.
void read_constants | ( | istream & | in, |
vector< string > & | predConst, | ||
vector< string > & | numConst | ||
) |
Definition at line 64 of file helper_functions.cpp.
void read_goal | ( | istream & | in, |
const vector< Variable * > & | variables, | ||
vector< pair< Variable *, int > > & | goals | ||
) |
Definition at line 137 of file helper_functions.cpp.
void read_modules | ( | istream & | in, |
vector< string > & | moduleInits, | ||
vector< string > & | subplanGenerators, | ||
vector< ConditionModule > & | condModules, | ||
vector< EffectModule > & | effectModules, | ||
vector< ConditionModule > & | costModules, | ||
const vector< Variable * > | variables | ||
) |
Definition at line 73 of file helper_functions.cpp.
void read_n_strings | ( | istream & | in, |
vector< string > & | output | ||
) |
Definition at line 42 of file helper_functions.cpp.
void read_objects | ( | istream & | in, |
vector< string > & | objects | ||
) |
Definition at line 109 of file helper_functions.cpp.
void read_operators | ( | istream & | in, |
const vector< Variable * > & | variables, | ||
vector< Operator > & | operators | ||
) |
Definition at line 157 of file helper_functions.cpp.
void read_oplinits | ( | istream & | in, |
vector< string > & | oplinits | ||
) |
Definition at line 102 of file helper_functions.cpp.
void read_preprocessed_problem_description | ( | istream & | in, |
vector< Variable > & | internal_variables, | ||
vector< Variable * > & | variables, | ||
State & | initial_state, | ||
vector< pair< Variable *, int > > & | goals, | ||
vector< Operator > & | operators, | ||
vector< Axiom_relational > & | axioms_rel, | ||
vector< Axiom_functional > & | axioms_func, | ||
vector< string > & | moduleInits, | ||
vector< string > & | subplanGenerators, | ||
vector< ConditionModule > & | condModules, | ||
vector< EffectModule > & | effectModules, | ||
vector< ConditionModule > & | costModules, | ||
vector< TranslatePredicate > & | predicateTranslations, | ||
vector< TranslateFunction > & | functionTranslations, | ||
vector< string > & | pred_constants, | ||
vector< string > & | num_constants, | ||
vector< string > & | objects, | ||
vector< string > & | oplinits | ||
) |
Definition at line 189 of file helper_functions.cpp.
void read_translations | ( | istream & | in, |
vector< TranslatePredicate > & | predicateTranslations, | ||
vector< TranslateFunction > & | functionTranslations, | ||
vector< Variable * > | variables | ||
) |
Definition at line 116 of file helper_functions.cpp.
void read_variables | ( | istream & | in, |
vector< Variable > & | internal_variables, | ||
vector< Variable * > & | variables | ||
) |
Definition at line 28 of file helper_functions.cpp.