#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"
Go to the source code of this file.
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.
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.
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.