This is the complete list of members for thorin::Def, including all inherited members.

arity() const	thorin::Def
as_imm() const	thorin::Def	inline
as_lit_arity() const	thorin::Def	inline
as_mut() const	thorin::Def	inline
check()	thorin::Def	inlinevirtual
curry_	thorin::Def	protected
dbg() const	thorin::Def	inline
dbg_	thorin::Def	mutableprotected
debug_prefix(std::string) const	thorin::Def
debug_suffix(std::string) const	thorin::Def
Def(World , node_t, const Def type, Defs ops, flags_t flags)	thorin::Def	protected
Def(node_t n, const Def *type, Defs ops, flags_t flags)	thorin::Def	protected
Def(node_t, const Def *type, size_t num_ops, flags_t flags)	thorin::Def	protected
dep() const	thorin::Def	inline
dep_const() const	thorin::Def	inline
dot(std::ostream &os, uint32_t max=0xFFFFFF, bool types=false) const	thorin::Def
dot(const char *file=nullptr, uint32_t max=0xFFFFFF, bool types=false) const	thorin::Def
dot(const std::string &file, uint32_t max=0xFFFFFF, bool types=false) const	thorin::Def	inline
dump() const	thorin::Def
dump(int max) const	thorin::Def
extended_op(size_t i) const	thorin::Def	inline
extended_ops() const	thorin::Def
flags() const	thorin::Def	inline
flags_	thorin::Def	protected
free_vars() const	thorin::Def
free_vars()	thorin::Def
fv_consumers()	thorin::Def	inline
gid() const	thorin::Def	inline
has_dep(Dep d) const	thorin::Def	inline
has_dep(unsigned u) const	thorin::Def	inline
has_var()	thorin::Def	inline
has_var() const	thorin::Def	inline
hash() const	thorin::Def	inline
immutabilize()	thorin::Def	inlinevirtual
is_closed() const	thorin::Def
is_external() const	thorin::Def	inline
is_open() const	thorin::Def
is_set() const	thorin::Def
is_term() const	thorin::Def
isa_imm() const	thorin::Def	inline
isa_imm(R(T::*f)() const) const	thorin::Def	inline
isa_lit_arity() const	thorin::Def
isa_mut() const	thorin::Def	inline
loc() const	thorin::Def	inline
local_muts() const	thorin::Def
local_vars() const	thorin::Def	inline
make_external()	thorin::Def
make_internal()	thorin::Def
node() const	thorin::Def	inline
node_name() const	thorin::Def
num_extended_ops() const	thorin::Def	inline
num_ops() const	thorin::Def	inline
num_partial_ops() const	thorin::Def	inline
num_projs() const	thorin::Def	inline
num_tprojs() const	thorin::Def
num_tvars()	thorin::Def	inline
num_uses() const	thorin::Def	inline
num_vars()	thorin::Def	inline
op(size_t i) const	thorin::Def	inline
ops() const	thorin::Def	inline
partial_op(size_t i) const	thorin::Def	inline
partial_ops() const	thorin::Def	inline
proj(nat_t a, nat_t i) const	thorin::Def
proj(nat_t i) const	thorin::Def	inline
projs(F f) const	thorin::Def	inline
projs(nat_t a, F f) const	thorin::Def	inline
projs() const	thorin::Def	inline
projs(nat_t a) const	thorin::Def	inline
rebuild(World &w, Ref type, Defs ops) const	thorin::Def	inline
rebuild(Ref type, Defs ops) const	thorin::Def	inline
rebuild_(World &w, Ref type, Defs ops) const =0	thorin::Def	privatepure virtual
reduce(const Def *arg) const	thorin::Def
reduce(const Def *arg)	thorin::Def
refine(size_t i, const Def *new_op) const	thorin::Def
reset(size_t i, const Def *def)	thorin::Def	inline
reset(Defs ops)	thorin::Def
set(size_t i, const Def *def)	thorin::Def
set(Defs ops)	thorin::Def
set(Loc l) const	thorin::Def	inline
set(Loc l)	thorin::Def	inline
set(Sym s) const	thorin::Def	inline
set(Sym s)	thorin::Def	inline
set(std::string s) const	thorin::Def	inline
set(std::string s)	thorin::Def	inline
set(Loc l, Sym s) const	thorin::Def	inline
set(Loc l, Sym s)	thorin::Def	inline
set(Loc l, std::string s) const	thorin::Def	inline
set(Loc l, std::string s)	thorin::Def	inline
set(Dbg d) const	thorin::Def	inline
set(Dbg d)	thorin::Def	inline
set_type(const Def *)	thorin::Def
stream(std::ostream &, int max) const	thorin::Def
stub(World &w, Ref type)	thorin::Def	inline
stub(Ref type)	thorin::Def	inline
stub_(World &, Ref)	thorin::Def	inlineprivatevirtual
swap	thorin::Def	friend
sym() const	thorin::Def	inline
sym(const char *) const	thorin::Def	protected
sym(std::string_view) const	thorin::Def	protected
sym(std::string) const	thorin::Def	protected
tproj(nat_t i) const	thorin::Def	inline
tprojs(F f) const	thorin::Def	inline
tprojs() const	thorin::Def	inline
transfer_external(Def *to)	thorin::Def	inline
trip_	thorin::Def	protected
tvar(nat_t i)	thorin::Def	inline
tvars(F f)	thorin::Def	inline
tvars()	thorin::Def	inline
type() const	thorin::Def	inline
unfold_type() const	thorin::Def
unique_name() const	thorin::Def
unset()	thorin::Def
unset_type()	thorin::Def
update()	thorin::Def	inline
uses() const	thorin::Def	inline
var(nat_t a, nat_t i)	thorin::Def	inline
var(nat_t i)	thorin::Def	inline
var()	thorin::Def
vars(F f)	thorin::Def	inline
vars()	thorin::Def	inline
vars(nat_t a, F f)	thorin::Def	inline
vars(nat_t a)	thorin::Def	inline
world() const	thorin::Def
write(int max) const	thorin::Def
write(int max, const char *file) const	thorin::Def
~Def()=default	thorin::Def	protectedvirtual