#include <iostream>
#include <string>
#include <vector>
#include <set>
#include "module.h"
#include <cmath>
#include <limits>
#include "causal_graph.h"
Go to the source code of this file.
typedef std::vector<TimeStampedState*> PlanTrace |
enum assignment_op |
enum binary_op |
enum condition_type |
enum trans_type |
enum variable_type |
void check_magic | ( | istream & | in, |
string | magic | ||
) |
Definition at line 18 of file helper_functions.cpp.
bool double_equals | ( | double | a, |
double | b | ||
) | [inline] |
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] |
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.
Definition at line 393 of file globals.cpp.
void read_everything | ( | istream & | in | ) |
Definition at line 125 of file globals.cpp.
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.
vector<Operator> g_operators |
Definition at line 183 of file globals.cpp.
Definition at line 190 of file globals.cpp.
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.
Definition at line 193 of file globals.cpp.
const double REALLYSMALL = -numeric_limits<double>::max() |