globals.cpp File Reference

#include "globals.h"
#include <cstdlib>
#include <iostream>
#include <string>
#include <vector>
#include <map>
#include <cassert>
#include <cmath>
#include "axioms.h"
#include "domain_transition_graph.h"
#include "operator.h"
#include "state.h"
#include "successor_generator.h"
#include "plannerParameters.h"

Include dependency graph for globals.cpp:

Go to the source code of this file.

Functions
void	check_magic (istream &in, string magic)
void	dump_DTGs ()
void	dump_everything ()
void	dump_goal ()
void	evaluate_axioms_in_init ()
ostream &	operator<< (ostream &os, const assignment_op &aop)
ostream &	operator<< (ostream &os, const binary_op &bop)
ostream &	operator<< (ostream &os, const trans_type &tt)
ostream &	operator<< (ostream &os, const condition_type &ct)
istream &	operator>> (istream &is, assignment_op &aop)
istream &	operator>> (istream &is, binary_op &bop)
istream &	operator>> (istream &is, trans_type &tt)
istream &	operator>> (istream &is, condition_type &ct)
void	printSet (const set< int > s)
void	read_everything (istream &in)
void	read_goal (istream &in)
void	read_logic_axioms (istream &in)
void	read_numeric_axioms (istream &in)
void	read_operators (istream &in)
void	read_variables (istream &in)
Variables
AxiomEvaluator *	g_axiom_evaluator
vector< int >	g_axiom_layers
vector< Axiom * >	g_axioms
CausalGraph *	g_causal_graph
int	g_comparison_axiom_layer
vector< double >	g_default_axiom_values
int	g_first_logic_axiom_layer
vector< pair< int, double > >	g_goal
TimeStampedState *	g_initial_state
int	g_last_arithmetic_axiom_layer
int	g_last_logic_axiom_layer
Operator *	g_let_time_pass
ObjectTypeMap	g_objectTypes
vector< Operator >	g_operators
PlannerParameters	g_parameters
SuccessorGenerator *	g_successor_generator
vector< DomainTransitionGraph * >	g_transition_graphs
vector< int >	g_variable_domain
vector< string >	g_variable_name
vector< variable_type >	g_variable_types
Operator *	g_wait_operator

---

Function Documentation

void check_magic	(	istream &	in,
		string	magic
	)

Definition at line 26 of file globals.cpp.

void dump_DTGs

(

)

Definition at line 163 of file globals.cpp.

void dump_everything

(

)

Definition at line 148 of file globals.cpp.

void dump_goal

(

)

Definition at line 82 of file globals.cpp.

void evaluate_axioms_in_init

(

)

Definition at line 119 of file globals.cpp.

ostream& operator<<	(	ostream &	os,
		const assignment_op &	aop
	)

Definition at line 216 of file globals.cpp.

ostream& operator<<	(	ostream &	os,
		const binary_op &	bop
	)

Definition at line 274 of file globals.cpp.

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

Definition at line 333 of file globals.cpp.

ostream& operator<<	(	ostream &	os,
		const condition_type &	ct
	)

Definition at line 372 of file globals.cpp.

istream& operator>>	(	istream &	is,
		assignment_op &	aop
	)

Definition at line 195 of file globals.cpp.

istream& operator>>	(	istream &	is,
		binary_op &	bop
	)

Definition at line 243 of file globals.cpp.

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

Definition at line 314 of file globals.cpp.

istream& operator>>	(	istream &	is,
		condition_type &	ct
	)

Definition at line 355 of file globals.cpp.

void printSet

(

const set< int >

s

)

Definition at line 393 of file globals.cpp.

void read_everything

(

istream &

in

)

Definition at line 125 of file globals.cpp.

void read_goal

(

istream &

in

)

Definition at line 68 of file globals.cpp.

void read_logic_axioms

(

istream &

in

)

Definition at line 98 of file globals.cpp.

void read_numeric_axioms

(

istream &

in

)

Definition at line 108 of file globals.cpp.

void read_operators

(

istream &

in

)

Definition at line 90 of file globals.cpp.

void read_variables

(

istream &

in

)

Definition at line 37 of file globals.cpp.

---

Variable Documentation

AxiomEvaluator* g_axiom_evaluator

Definition at line 185 of file globals.cpp.

vector<int> g_axiom_layers

Definition at line 177 of file globals.cpp.

vector<Axiom*> g_axioms

Definition at line 184 of file globals.cpp.

CausalGraph* g_causal_graph

Definition at line 188 of file globals.cpp.

int g_comparison_axiom_layer

Definition at line 172 of file globals.cpp.

vector<double> g_default_axiom_values

Definition at line 178 of file globals.cpp.

int g_first_logic_axiom_layer

Definition at line 173 of file globals.cpp.

vector<pair<int, double> > g_goal

Definition at line 182 of file globals.cpp.

TimeStampedState* g_initial_state

Definition at line 181 of file globals.cpp.

int g_last_arithmetic_axiom_layer

Definition at line 171 of file globals.cpp.

int g_last_logic_axiom_layer

Definition at line 174 of file globals.cpp.

Operator* g_let_time_pass

Definition at line 192 of file globals.cpp.

ObjectTypeMap g_objectTypes

Definition at line 180 of file globals.cpp.

vector<Operator> g_operators

Definition at line 183 of file globals.cpp.

PlannerParameters g_parameters

Definition at line 190 of file globals.cpp.

SuccessorGenerator* g_successor_generator

Definition at line 186 of file globals.cpp.

vector<DomainTransitionGraph *> g_transition_graphs

Definition at line 187 of file globals.cpp.

vector<int> g_variable_domain

Definition at line 176 of file globals.cpp.

vector<string> g_variable_name

Definition at line 175 of file globals.cpp.

vector<variable_type> g_variable_types

Definition at line 179 of file globals.cpp.

Operator* g_wait_operator

Definition at line 193 of file globals.cpp.