Classes | Enumerations | Functions
helper_functions.h File Reference
#include "state.h"
#include "variable.h"
#include "successor_generator.h"
#include "causal_graph.h"
#include "module.h"
#include <string>
#include <vector>
#include <iostream>
Include dependency graph for helper_functions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  DurationCond

Enumerations

enum  compoperator {
  lt = 0, le = 1, eq = 2, ge = 3,
  gt = 4, ue = 5
}
enum  condition_type {
  start_cond = 0, overall_cond = 1, end_cond = 2, ax_cond,
  start_cond = 0, overall_cond = 1, end_cond = 2, ax_cond
}
enum  foperator {
  assign = 0, scale_up = 1, scale_down = 2, increase = 3,
  decrease = 4
}
enum  trans_type {
  start = 0, end = 1, compressed = 2, ax_rel = 3,
  start = 0, end = 1, compressed = 2, ax = 3
}

Functions

template<typename T >
vector< T > append (vector< T > &first, vector< T > &sec)
void check_magic (istream &in, string magic)
void dump_DTGs (const vector< Variable * > &ordering, vector< DomainTransitionGraph * > &transition_graphs)
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 causal_graph_acyclic, const vector< Variable * > &ordered_var, 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 condition_type &fop)
ostream & operator<< (ostream &os, const trans_type &fop)
istream & operator>> (istream &is, foperator&fop)
istream & operator>> (istream &is, compoperator&fop)
istream & operator>> (istream &is, condition_type &fop)
istream & operator>> (istream &is, trans_type &fop)
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 > &predicate_translations, vector< TranslateFunction > &function_translations, vector< string > &pred_constants, vector< string > &num_constants, vector< string > &objects, vector< string > &oplinits)

Enumeration Type Documentation

Enumerator:
lt 
le 
eq 
ge 
gt 
ue 

Definition at line 77 of file helper_functions.h.

Enumerator:
start_cond 
overall_cond 
end_cond 
ax_cond 
start_cond 
overall_cond 
end_cond 
ax_cond 

Definition at line 90 of file helper_functions.h.

enum foperator
Enumerator:
assign 
scale_up 
scale_down 
increase 
decrease 

Definition at line 73 of file helper_functions.h.

enum trans_type
Enumerator:
start 
end 
compressed 
ax_rel 
start 
end 
compressed 
ax 

Definition at line 99 of file helper_functions.h.


Function Documentation

template<typename T >
vector<T> append ( vector< T > &  first,
vector< T > &  sec 
)

Definition at line 119 of file helper_functions.h.

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_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  causal_graph_acyclic,
const vector< Variable * > &  ordered_var,
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 condition_type fop 
)

Definition at line 569 of file helper_functions.cpp.

ostream& operator<< ( ostream &  os,
const trans_type fop 
)

Definition at line 532 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,
condition_type fop 
)

Definition at line 553 of file helper_functions.cpp.

istream& operator>> ( istream &  is,
trans_type fop 
)

Definition at line 514 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 > &  predicate_translations,
vector< TranslateFunction > &  function_translations,
vector< string > &  pred_constants,
vector< string > &  num_constants,
vector< string > &  objects,
vector< string > &  oplinits 
)

Definition at line 189 of file helper_functions.cpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03