globals.h File Reference

#include <iostream>
#include <string>
#include <vector>
#include <set>
#include "module.h"
#include <cmath>
#include <limits>
#include "causal_graph.h"

Include dependency graph for globals.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	PlanStep
Defines
#define	EPS_TIME   0.001
#define	EPSILON   0.000001
Typedefs
typedef std::vector< PlanStep >	Plan
typedef std::vector < TimeStampedState * >	PlanTrace
Enumerations
enum	assignment_op {   assign = 0, scale_up = 1, scale_down = 2, increase = 3,   decrease = 4 }
enum	binary_op {   add = 0, subtract = 1, mult = 2, divis = 3,   lt = 4, le = 5, eq = 6, ge = 7,   gt = 8, ue = 9 }
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	trans_type {   start = 0, end = 1, compressed = 2, ax_rel = 3,   start = 0, end = 1, compressed = 2, ax = 3 }
enum	variable_type {   logical, primitive_functional, subterm_functional, comparison,   module, costmodule }
Functions
void	check_magic (istream &in, string magic)
bool	double_equals (double a, double b)
void	dump_DTGs ()
void	dump_everything ()
bool	is_functional (int var)
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 &fop)
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 &fop)
void	printSet (const set< int > s)
void	read_everything (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
const double	REALLYBIG = numeric_limits<double>::max()
const double	REALLYSMALL = -numeric_limits<double>::max()

---

Define Documentation

#define EPS_TIME   0.001

Definition at line 16 of file globals.h.

#define EPSILON   0.000001

Definition at line 15 of file globals.h.

---

Typedef Documentation

typedef std::vector<PlanStep> Plan

Definition at line 46 of file globals.h.

typedef std::vector<TimeStampedState*> PlanTrace

Definition at line 47 of file globals.h.

---

Enumeration Type Documentation

enum assignment_op

Enumerator:

assign
scale_up
scale_down
increase
decrease

Definition at line 104 of file globals.h.

enum binary_op

Enumerator:

add
subtract
mult
divis
lt
le
eq
ge
gt
ue

Definition at line 108 of file globals.h.

enum condition_type

Enumerator:

start_cond
overall_cond
end_cond
ax_cond
start_cond
overall_cond
end_cond
ax_cond

Definition at line 125 of file globals.h.

enum trans_type

Enumerator:

start
end
compressed
ax_rel
start
end
compressed
ax

Definition at line 121 of file globals.h.

enum variable_type

Enumerator:

logical
primitive_functional
subterm_functional
comparison
module
costmodule

Definition at line 63 of file globals.h.

---

Function Documentation

void check_magic	(	istream &	in,
		string	magic
	)

Definition at line 18 of file helper_functions.cpp.

bool double_equals	(	double	a,
		double	b
	)		[inline]

Definition at line 49 of file globals.h.

void dump_DTGs

(

)

Definition at line 163 of file globals.cpp.

void dump_everything

(

)

Definition at line 148 of file globals.cpp.

bool is_functional

(

int

var

)

[inline]

Definition at line 95 of file globals.h.

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 532 of file helper_functions.cpp.

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

Definition at line 569 of file helper_functions.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 514 of file helper_functions.cpp.

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

Definition at line 553 of file helper_functions.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.

---

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.

const double REALLYBIG = numeric_limits<double>::max()

Definition at line 54 of file globals.h.

const double REALLYSMALL = -numeric_limits<double>::max()

Definition at line 55 of file globals.h.