Functions | Variables
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

AxiomEvaluatorg_axiom_evaluator
vector< int > g_axiom_layers
vector< Axiom * > g_axioms
CausalGraphg_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
TimeStampedStateg_initial_state
int g_last_arithmetic_axiom_layer
int g_last_logic_axiom_layer
Operatorg_let_time_pass
ObjectTypeMap g_objectTypes
vector< Operatorg_operators
PlannerParameters g_parameters
SuccessorGeneratorg_successor_generator
vector< DomainTransitionGraph * > g_transition_graphs
vector< int > g_variable_domain
vector< string > g_variable_name
vector< variable_typeg_variable_types
Operatorg_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.

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

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.

Definition at line 188 of file globals.cpp.

Definition at line 172 of file globals.cpp.

vector<double> g_default_axiom_values

Definition at line 178 of file globals.cpp.

Definition at line 173 of file globals.cpp.

vector<pair<int, double> > g_goal

Definition at line 182 of file globals.cpp.

Definition at line 181 of file globals.cpp.

Definition at line 171 of file globals.cpp.

Definition at line 174 of file globals.cpp.

Definition at line 192 of file globals.cpp.

Definition at line 180 of file globals.cpp.

Definition at line 183 of file globals.cpp.

Definition at line 190 of file globals.cpp.

Definition at line 186 of file globals.cpp.

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.

Definition at line 179 of file globals.cpp.

Definition at line 193 of file globals.cpp.



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