mim::Nat Member List

This is the complete list of members for mim::Nat, including all inherited members.

arity() const	mim::Def	virtual
as_imm() const	mim::Def	inline
as_mut() const	mim::Def	inline
check(size_t i, const Def *def)	mim::Def	inlinevirtual
check()	mim::Def	inlinevirtual
Cmp enum name	mim::Def
cmp(const Def *a, const Def *b)	mim::Def	static
curry_	mim::Def	protected
dbg() const	mim::Def	inline
dbg_	mim::Def	mutableprotected
debug_prefix(std::string) const	mim::Def
debug_suffix(std::string) const	mim::Def
Def(World *, Node, const Def *type, Defs ops, flags_t flags)	mim::Def	protected
Def(Node, const Def *type, Defs ops, flags_t flags)	mim::Def	protected
Def(Node, const Def *type, size_t num_ops, flags_t flags)	mim::Def	protected
dep(size_t i) const noexcept	mim::Def	inline
deps() const noexcept	mim::Def
dot(std::ostream &os, uint32_t max=0xFFFFFF, bool types=false) const	mim::Def
dot(const char *file=nullptr, uint32_t max=0xFFFFFF, bool types=false) const	mim::Def
dot(const std::string &file, uint32_t max=0xFFFFFF, bool types=false) const	mim::Def	inline
dump() const	mim::Def
dump(int max) const	mim::Def
flags() const noexcept	mim::Def	inline
flags_	mim::Def	protected
free_vars() const	mim::Def
free_vars()	mim::Def
gid() const noexcept	mim::Def	inline
greater(const Def *a, const Def *b)	mim::Def	static
has_dep() const	mim::Def	inline
has_dep(Dep d) const	mim::Def	inline
has_dep(unsigned u) const	mim::Def	inline
has_var()	mim::Def	inline
has_var() const	mim::Def	inline
hash() const noexcept	mim::Def	inline
immutabilize()	mim::Def	inlinevirtual
is_closed() const	mim::Def
is_elim() const noexcept	mim::Def	inline
is_external() const noexcept	mim::Def	inline
is_form() const noexcept	mim::Def	inline
is_immutabilizable()	mim::Def
is_intro() const noexcept	mim::Def	inline
is_meta() const noexcept	mim::Def	inline
is_mutable() const noexcept	mim::Def	inline
is_open() const	mim::Def
is_set() const	mim::Def
is_term() const	mim::Def
isa_imm() const	mim::Def	inline
isa_mut() const	mim::Def	inline
judge() const noexcept	mim::Def
less(const Def *a, const Def *b)	mim::Def	static
loc() const	mim::Def	inline
local_muts() const	mim::Def
local_vars() const	mim::Def
make_external()	mim::Def
make_internal()	mim::Def
mark() const noexcept	mim::Def	inline
needs_zonk() const	mim::Def
Node	mim::Nat	static
node() const noexcept	mim::Def	inline
node_name() const	mim::Def
num_deps() const noexcept	mim::Def	inline
Num_Ops	mim::Nat	static
num_ops() const noexcept	mim::Def	inline
num_projs() const	mim::Def
num_tprojs() const	mim::Def
num_tvars() noexcept	mim::Def	inline
num_vars() noexcept	mim::Def	inline
op(size_t i) const noexcept	mim::Def	inline
ops() const noexcept	mim::Def	inline
proj(nat_t a, nat_t i) const	mim::Def
proj(nat_t i) const	mim::Def	inline
projs(F f) const	mim::Def	inline
projs(nat_t a, F f) const	mim::Def	inline
projs() const	mim::Def	inline
projs(nat_t a) const	mim::Def	inline
rebuild(World &w, const Def *type, Defs ops) const	mim::Def	inline
rebuild(const Def *type, Defs ops) const	mim::Def	inline
rebuild_(World &, const Def *, Defs) const final	mim::Nat	privatevirtual
reduce(const Def *arg) const	mim::Def	inline
reduction_offset() const noexcept	mim::Def	inlinevirtual
refine(size_t i, const Def *new_op) const	mim::Def
mim::set(size_t i, const Def *)	mim::Def
mim::set(Defs ops)	mim::Def
mim::set(Loc l) const	mim::Def	inline
mim::set(Loc l)	mim::Def	inline
mim::set(Sym s) const	mim::Def	inline
mim::set(Sym s)	mim::Def	inline
mim::set(std::string s) const	mim::Def	inline
mim::set(std::string s)	mim::Def	inline
mim::set(Loc l, Sym s) const	mim::Def	inline
mim::set(Loc l, Sym s)	mim::Def	inline
mim::set(Loc l, std::string s) const	mim::Def	inline
mim::set(Loc l, std::string s)	mim::Def	inline
mim::set(Dbg d) const	mim::Def	inline
mim::set(Dbg d)	mim::Def	inline
mim::Setters< Nat >::set(Loc l) const	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Loc l)	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Sym s) const	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Sym s)	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(std::string s) const	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(std::string s)	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Loc l, Sym s) const	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Loc l, Sym s)	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Loc l, std::string s) const	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Loc l, std::string s)	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Dbg d) const	mim::Setters< Nat >	inline
mim::Setters< Nat >::set(Dbg d)	mim::Setters< Nat >	inline
set_type(const Def *)	mim::Def
stream(std::ostream &, int max) const	mim::Def
stub(World &w, const Def *type)	mim::Def	inline
stub(const Def *type)	mim::Def	inline
sym() const	mim::Def	inline
sym(const char *) const	mim::Def	protected
sym(std::string_view) const	mim::Def	protected
sym(std::string) const	mim::Def	protected
tid() const noexcept	mim::Def	inline
tproj(nat_t i) const	mim::Def	inline
tprojs(F f) const	mim::Def	inline
tprojs() const	mim::Def	inline
transfer_external(Def *to)	mim::Def
trip_	mim::Def	protected
tvar(nat_t i) noexcept	mim::Def	inline
tvars(F f) noexcept	mim::Def	inline
tvars() noexcept	mim::Def	inline
type() const noexcept	mim::Def
unfold_type() const	mim::Def
unique_name() const	mim::Def
unset()	mim::Def
users()	mim::Def	inline
var(nat_t a, nat_t i) noexcept	mim::Def	inline
var(nat_t i) noexcept	mim::Def	inline
var()	mim::Def
var_type()	mim::Def
vars(F f) noexcept	mim::Def	inline
vars() noexcept	mim::Def	inline
vars(nat_t a, F f) noexcept	mim::Def	inline
vars(nat_t a) noexcept	mim::Def	inline
World class	mim::Nat	friend
world() const noexcept	mim::Def
write(int max) const	mim::Def
write(int max, const char *file) const	mim::Def
zonk() const	mim::Def
zonk(Defs defs)	mim::Def	static
zonk_mut() const	mim::Def
~Def()=default	mim::Def	protectedvirtual