Classes | Defines | Typedefs | Enumerations | Functions | Variables
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< PlanStepPlan
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

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

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.

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.

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

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.

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.



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