thorin::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 41 of file def.h.

Variable Documentation

Num_Nodes

constexpr auto thorin::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 45 of file def.h.