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

enum compoperator

Enumerator:

lt
le
eq
ge
gt
ue

Definition at line 77 of file helper_functions.h.

enum condition_type

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.

compoperator get_inverse_op

(

compoperator

op

)

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.