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.

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 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.