atlas  0.6
Namespaces | Functions | Variables
global.cpp File Reference
#include "global.h"
#include <cstdlib>
#include "lexer.h"
#include "axis.h"
#include <sstream>
#include <iomanip>
#include "matreduc.h"
#include "bitmap.h"
#include "lattice.h"
#include "bitvector.h"
#include "permutations.h"
Include dependency graph for global.cpp:

Namespaces

 atlas
 
 atlas::interpreter
 

Functions

std::ostream & atlas::interpreter::operator<< (std::ostream &out, const Id_table &p)
 
std::ostream & atlas::interpreter::operator<< (std::ostream &out, const overload_table &p)
 
void atlas::interpreter::initialise_evaluator ()
 
type_expr atlas::interpreter::analyse_types (const expr &e, expression_ptr &p)
 
void atlas::interpreter::global_set_identifier (const raw_id_pat &raw_pat, expr_p raw, int overload)
 
void atlas::interpreter::global_set_identifiers (const raw_let_list &d)
 
void atlas::interpreter::global_declare_identifier (id_type id, type_p t)
 
void atlas::interpreter::global_forget_identifier (id_type id)
 
void atlas::interpreter::global_forget_overload (id_type id, type_p t)
 
void atlas::interpreter::type_define_identifier (id_type id, type_p t, raw_id_pat ip, const YYLTYPE &loc)
 
void atlas::interpreter::type_of_expr (expr_p raw)
 
void atlas::interpreter::show_overloads (id_type id)
 
void atlas::interpreter::show_ids ()
 
void atlas::interpreter::install_function (wrapper_function f, const char *name, const char *type_string)
 
void atlas::interpreter::sizeof_string_wrapper (expression_base::level l)
 
void atlas::interpreter::sizeof_vector_wrapper (expression_base::level l)
 
void atlas::interpreter::sizeof_ratvec_wrapper (expression_base::level l)
 
void atlas::interpreter::matrix_ncols_wrapper (expression_base::level l)
 
void atlas::interpreter::mm_prod_wrapper (expression_base::level l)
 
void atlas::interpreter::transpose_mat_wrapper (expression_base::level l)
 
void atlas::interpreter::id_mat_wrapper (expression_base::level l)
 

Variables

Id_table * atlas::interpreter::global_id_table =nullptr
 
overload_table * atlas::interpreter::global_overload_table =nullptr
 
std::ostream * atlas::interpreter::output_stream = &std::cout
 
bool atlas::interpreter::clean =true
 
int atlas::interpreter::verbosity =0
 
const shared_bool atlas::interpreter::global_false =std::make_shared<bool_value>(false)
 
const shared_bool atlas::interpreter::global_true =std::make_shared<bool_value>(true)