Functions
helper_functions.cpp File Reference
#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"
Include dependency graph for helper_functions.cpp:

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)

Function Documentation

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.



tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06