include/basix/evaluator.hpp File Reference

#include <basix/exception.hpp>
#include <basix/lisp_syntax.hpp>

Go to the source code of this file.

Classes

• class evaluator_rep
• class evaluator

Namespaces

• namespace mmx

Defines

• #define PENALTY_NONE   ((nat) 0)
• #define PENALTY_AUTOMATIC   ((nat) 1)
• #define PENALTY_INCLUSION   ((nat) 2)
• #define PENALTY_HOMOMORPHISM   ((nat) 3)
• #define PENALTY_VARIANT   ((nat) 4)
• #define PENALTY_CAST   ((nat) 5)
• #define PENALTY_FALL_BACK   ((nat) 6)
• #define PENALTY_PROMOTE_GENERIC   ((nat) 7)
• #define PENALTY_INVALID   ((nat) 8)

Functions

• evaluator_rep * inside (const evaluator &x)
• template<> nat hard_hash (const evaluator &x)
• template<> bool hard_eq (const evaluator &x, const evaluator &y)
• template<> bool hard_neq (const evaluator &x, const evaluator &y)
• void select_evaluator (const evaluator &ev)
• void restore_evaluator ()

Variables

• evaluator current_ev

---

Detailed Description

Definition in file evaluator.hpp.

---

Define Documentation

#define PENALTY_AUTOMATIC   ((nat) 1)

Definition at line 25 of file evaluator.hpp.

Referenced by define_type_helper< C >::def_type().

#define PENALTY_CAST   ((nat) 5)

Definition at line 29 of file evaluator.hpp.

Referenced by mmx::glue_routine().

#define PENALTY_FALL_BACK   ((nat) 6)

Definition at line 30 of file evaluator.hpp.

#define PENALTY_HOMOMORPHISM   ((nat) 3)

Definition at line 27 of file evaluator.hpp.

#define PENALTY_INCLUSION   ((nat) 2)

Definition at line 26 of file evaluator.hpp.

Referenced by mmx::define_user_type(), mmx::glue_document(), mmx::glue_double(), and mmx::glue_syntactic().

#define PENALTY_INVALID   ((nat) 8)

Definition at line 32 of file evaluator.hpp.

#define PENALTY_NONE   ((nat) 0)

Definition at line 24 of file evaluator.hpp.

#define PENALTY_PROMOTE_GENERIC   ((nat) 7)

Definition at line 31 of file evaluator.hpp.

Referenced by mmx::glue_basix_table_generic(), mmx::glue_basix_vector_generic(), mmx::glue_list_generic(), and mmx::glue_routine().

#define PENALTY_VARIANT   ((nat) 4)

Definition at line 28 of file evaluator.hpp.