include/basix/mmc_glue.hpp File Reference

#include <basix/table.hpp>
#include <basix/literal.hpp>
#include <basix/compound.hpp>
#include <basix/system.hpp>
#include <basix/document.hpp>
#include <basix/routine.hpp>
#include <basix/generic_function.hpp>
#include <basix/object_format.hpp>
#include <basix/instance.hpp>
#include <basix/dispatcher.hpp>

Go to the source code of this file.

Classes

struct verbose_as_helper< T, F >
struct verbose_as_helper< generic, generic >
class lift_iterator_rep< T, U >
class lift_arg_iterator_rep< T, U >
class where_iterator_rep< T, U >
class filter_iterator_rep< T >
class unnest_iterator_rep< T >
struct Indirect< R >

Namespaces

namespace mmx

Defines

#define TMPL template<typename R>

Functions

void mmc_initialize (int argc, char **argv)
void mmc_terminate ()
void mmc_exit (const int &status)
vector< string > mmc_load_directory (const string &name)
void mmc_save (const string &name, const string &s)
string mmc_load (const string &name)
generic mmc_parse (const string &file_name)
generic mmc_parse (const string &s, const string &input_name)
generic mmc_unliteral (const generic &x)
exception mmc_exception (const string &message, const generic &where)
string as_string (const exception &e)
void noop ()
nat hash_combine (nat i, nat j)
template<typename C , typename R > C promote (R *rep)
template<typename T > syntactic flatten_as_syntactic (const T &x)
literal string_as_literal (const string &s)
compound vector_as_compound (const vector< generic > &l)
compound literal_apply (const literal &f, const vector< generic > &v)
compound compound_apply (const compound &f, const vector< generic > &v)
compound generic_apply (const generic &f, const vector< generic > &v)
vector< generic > generic_components (const generic &g)
vector< generic > generic_arguments (const generic &g)
bool generic_is_literal (const generic &g)
bool generic_is_compound (const generic &g)
bool generic_is_vector_generic (const generic &g)
bool generic_is_table_generic (const generic &g)
string generic_as_string (const generic &g)
literal generic_as_literal (const generic &g)
vector< generic > generic_as_vector (const generic &g)
int generic_size (const generic &g)
generic generic_type (const generic &g)
template<typename T > generic any_as_generic (const T &t)
template<typename T , typename U > U concrete_to_abstract (const T &g)
template<typename T > T generic_as_any (const generic &g)
template<typename T , typename U > U abstract_to_concrete (const T &g)
template<typename T > vector< T > vector_new (const vector< T > &v)
template<typename T > int vector_length (const vector< T > &v)
template<typename T > vector< T > vector_nil ()
template<typename T > vector< T > vector_nil (const format< T > &fm)
template<typename T > vector< T > vector_cons (const T &x, const vector< T > &v)
template<typename T > vector< T > vector_append (const vector< T > &v1, const vector< T > &v2)
template<typename T > vector< T > vector_append (const vector< T > &v, const T &x)
template<typename T > vector< T > & vector_lessless (vector< T > &v1, const vector< T > &v2)
template<typename T > T vector_read (const vector< T > &v, const int &i)
template<typename T > T & vector_write (vector< T > &v, const int &i)
template<typename T > vector< T > vector_range (const vector< T > &v, const int &i, const int &j)
template<typename T > bool vector_is_nil (const vector< T > &v)
template<typename T > bool vector_is_atom (const vector< T > &v)
template<typename T > vector< T > vector_reverse (const vector< T > &v)
template<typename T > int vector_find (const vector< T > &v, const T &x)
template<typename T > bool vector_contains (const vector< T > &v, const T &x)
template<typename T > vector< T > vector_insert (const vector< T > &v, const T &x)
template<typename T , typename U > vector vector_lift (const vector< T > &v)
template<typename T > vector< generic > vector_lift_to_generic (const vector< T > &v)
template<typename S1 , typename D > vector< D > vector_lift (const function_1< D, typename argument_helper< S1 >::arg_type > &fun, const vector< S1 > &v1)
template<typename S1 , typename D > vector< D > vector_lift (D(*fun)(const S1 &), const vector< S1 > &v1)
template<typename S1 , typename D > vector< D > vector_lift (const function_1< D, typename argument_helper< S1 >::arg_type > &fun, const vector< S1 > &v1, const format< D > &fm)
template<typename S1 , typename D > vector< D > vector_lift (D(*fun)(const S1 &), const vector< S1 > &v1, const format< D > &fm)
template<typename D > table< D, generic > table_new (const D &x)
template<typename D > int table_size (const table< D, generic > &t)
template<typename D > iterator< generic > table_explode (const table< D, generic > &t)
template<typename D > bool table_contains (const table< D, generic > &t, const generic &x)
template<typename D > void table_reset (table< D, generic > &t, const generic &x)
template<typename D > D table_read (const table< D, generic > &t, const generic &x)
template<typename D > D & table_write (table< D, generic > &t, const generic &x)
template<typename D > void table_set (const table< D, generic > &t, const generic &x, const D &v)
template<typename D > bool table_contains (const table< D, generic > &t, const generic &x, const generic &y)
template<typename D > void table_reset (const table< D, generic > &t, const generic &x, const generic &y)
template<typename D > D table_read (const table< D, generic > &t, const generic &x, const generic &y)
template<typename D > D & table_write (table< D, generic > &t, const generic &x, const generic &y)
template<typename D > void table_set (const table< D, generic > &t, const generic &x, const generic &y, const D &v)
template<typename T > bool iterator_busy (const iterator< T > &it)
template<typename T > T iterator_current (const iterator< T > &it)
template<typename T > void iterator_increase (const iterator< T > &it)
template<typename T > vector< T > iterator_explode (const iterator< T > &it)
template<typename S , typename T > iterator< S > iterator_strict_range (const S &start, const T &end)
template<typename S , typename T > iterator< S > iterator_natural_range (const S &start, const T &end)
template<typename S , typename T > iterator< S > iterator_downwards_range (const S &start, const T &end)
template<typename T > iterator< T > iterator_nil ()
template<typename T > iterator< T > iterator_nil (const format< T > &fm)
template<typename T > iterator< T > iterator_cons (const T &c, const iterator< T > &tail)
template<typename T > iterator< T > iterator_append (const iterator< T > &head, const iterator< T > &tail)
template<typename T , typename U > iterator iterator_lift (const iterator< T > &it)
template<typename T > iterator< T > iterator_lift_from_generic (const iterator< generic > &it)
template<typename T > iterator< T > iterator_lift_from_generic (const iterator< generic > &it, const format< T > &fm)
template<typename T , typename U > iterator iterator_lift (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it)
template<typename T , typename U > iterator iterator_lift (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it, const format &fm)
template<typename T , typename U > vector iterator_lift_vector (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it)
template<typename T , typename U > vector iterator_lift_vector (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it, const format &fm)
template<typename T , typename U > iterator vector_lift_iterator (const function_1< U, typename argument_helper< T >::arg_type > &fun, const vector< T > &v)
template<typename T , typename U > iterator vector_lift_iterator (const function_1< U, typename argument_helper< T >::arg_type > &fun, const vector< T > &v, const format &fm)
template<typename T , typename U > iterator map (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it, const format &fm)
template<typename T , typename U > iterator iterator_where (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it)
template<typename T , typename U > iterator iterator_where (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it, const format &fm)
template<typename T > iterator< T > iterator_filter (const function_1< bool, typename argument_helper< T >::arg_type > &cond, const iterator< T > &it)
template<typename T > iterator< T > iterator_filter (const function_1< bool, typename argument_helper< T >::arg_type > &cond, const iterator< T > &it, const format< T > &fm)
template<typename T , typename U > iterator iterator_cond_where (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it, const function_1< bool, typename argument_helper< T >::arg_type > &cond)
template<typename T , typename U > iterator iterator_cond_where (const function_1< U, typename argument_helper< T >::arg_type > &fun, const iterator< T > &it, const function_1< bool, typename argument_helper< T >::arg_type > &cond, const format< T > &fmT, const format &fmU)
template<typename T > iterator< T > iterator_unnest (const iterator< iterator< T > > &it)
template<typename T , typename U > pair< T, U > make_pair (const T &x, const U &y)
template<typename T , typename U1 , typename U2 > syntactic flatten (const pair< T, pair< U1, U2 > > &p)
template<typename T1 , typename T2 , typename U > syntactic flatten (const pair< pair< T1, T2 >, U > &p)
template<typename T1 , typename T2 , typename U1 , typename U2 > syntactic flatten (const pair< pair< T1, T2 >, pair< U1, U2 > > &p)
template<typename R > R * access (Indirect< R > &x)
template<typename R > bool operator== (const Indirect< R > &x, const Indirect< R > &y)
template<typename R > bool operator!= (const Indirect< R > &x, const Indirect< R > &y)
template<typename R > bool exact_eq (const Indirect< R > &x, const Indirect< R > &y)
template<typename R > bool exact_neq (const Indirect< R > &x, const Indirect< R > &y)
template<typename R > bool hard_eq (const Indirect< R > &x, const Indirect< R > &y)
template<typename R > bool hard_neq (const Indirect< R > &x, const Indirect< R > &y)
template<typename R > nat hash (const Indirect< R > &x)
template<typename R > nat exact_hash (const Indirect< R > &x)
template<typename R > nat hard_hash (const Indirect< R > &x)
template<typename R > syntactic flatten (const Indirect< R > &x)

Variables

vector< string > mmc_args

Define Documentation

#define TMPL template<typename R>

Definition at line 736 of file mmc_glue.hpp.