mim::Node Namespace Reference

Enumerations
enum	: node_t {   Type ,   Univ ,   UMax ,   UInc ,   Pi ,   Lam ,   App ,   Sigma ,   Tuple ,   Extract ,   Insert ,   Arr ,   Pack ,   Join ,   Vel ,   Test ,   Top ,   Meet ,   Ac ,   Pick ,   Bot ,   Proxy ,   Axiom ,   Lit ,   Nat ,   Idx ,   Var ,   Infer ,   Global ,   Singleton }

Variables
constexpr auto	Num_Nodes = size_t(0) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1)

Enumeration Type Documentation

anonymous enum

anonymous enum : node_t

Enumerator
Type
Univ
UMax
UInc
Pi
Lam
App
Sigma
Tuple
Extract
Insert
Arr
Pack
Join
Vel
Test
Top
Meet
Ac
Pick
Bot
Proxy
Axiom
Lit
Nat
Idx
Var
Infer
Global
Singleton

Definition at line 40 of file def.h.

Variable Documentation

Num_Nodes

auto mim::Node::Num_Nodes = size_t(0) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1) +size_t(1)

constexpr

Definition at line 44 of file def.h.