mim::Pi Member List

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

arity() const	mim::Def
as_imm() const	mim::Def	inline
as_lit_arity() const	mim::Def	inline
as_mut() const	mim::Def	inline
check() override	mim::Pi	virtual
codom() const	mim::Pi	inline
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_t, const Def *type, Defs ops, flags_t flags)	mim::Def	protected
Def(node_t n, const Def *type, Defs ops, flags_t flags)	mim::Def	protected
Def(node_t, const Def *type, size_t num_ops, flags_t flags)	mim::Def	protected
dep() const	mim::Def	inline
dep_const() const	mim::Def	inline
dom() const	mim::Pi	inline
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
extended_op(size_t i) const	mim::Def	inline
extended_ops() const	mim::Def
flags() const	mim::Def	inline
flags_	mim::Def	protected
free_vars() const	mim::Def
free_vars()	mim::Def
fv_consumers()	mim::Def	inline
gid() 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	mim::Def	inline
immutabilize() override	mim::Pi	virtual
infer(Ref dom, Ref codom)	mim::Pi	static
is_closed() const	mim::Def
is_external() const	mim::Def	inline
is_implicit() const	mim::Pi	inline
is_open() const	mim::Def
is_set() const	mim::Def
is_term() const	mim::Def
isa_basicblock(Ref d)	mim::Pi	inlinestatic
isa_cn(Ref d)	mim::Pi	inlinestatic
isa_imm() const	mim::Def	inline
isa_imm(R(T::*f)() const) const	mim::Def	inline
isa_lit_arity() const	mim::Def
isa_mut() const	mim::Def	inline
isa_returning(Ref d)	mim::Pi	inlinestatic
loc() const	mim::Def	inline
local_muts() const	mim::Def
local_vars() const	mim::Def	inline
make_explicit()	mim::Pi	inline
make_external()	mim::Def
make_implicit()	mim::Pi	inline
make_internal()	mim::Def
node() const	mim::Def	inline
node_name() const	mim::Def
num_extended_ops() const	mim::Def	inline
num_ops() const	mim::Def	inline
num_partial_ops() const	mim::Def	inline
num_projs() const	mim::Def	inline
num_tprojs() const	mim::Def
num_tvars()	mim::Def	inline
num_uses() const	mim::Def	inline
num_vars()	mim::Def	inline
op(size_t i) const	mim::Def	inline
ops() const	mim::Def	inline
partial_op(size_t i) const	mim::Def	inline
partial_ops() const	mim::Def	inline
Pi(const Def *type, const Def *dom, const Def *codom, bool implicit)	mim::Pi	inlineprotected
Pi(const Def *type, bool implicit)	mim::Pi	inlineprotected
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, Ref type, Defs ops) const	mim::Def	inline
rebuild(Ref type, Defs ops) const	mim::Def	inline
reduce(const Def *arg) const	mim::Def
reduce(const Def *arg)	mim::Def
refine(size_t i, const Def *new_op) const	mim::Def
reset(size_t i, const Def *def)	mim::Def	inline
reset(Defs ops)	mim::Def
ret_dom() const	mim::Pi	inline
ret_pi(Ref d)	mim::Pi	inlinestatic
ret_pi() const	mim::Pi
set(Ref dom, Ref codom)	mim::Pi	inline
mim::Def::set(size_t i, const Def *def)	mim::Def
mim::Def::set(Defs ops)	mim::Def
mim::Def::set(Loc l) const	mim::Def	inline
mim::Def::set(Loc l)	mim::Def	inline
mim::Def::set(Sym s) const	mim::Def	inline
mim::Def::set(Sym s)	mim::Def	inline
mim::Def::set(std::string s) const	mim::Def	inline
mim::Def::set(std::string s)	mim::Def	inline
mim::Def::set(Loc l, Sym s) const	mim::Def	inline
mim::Def::set(Loc l, Sym s)	mim::Def	inline
mim::Def::set(Loc l, std::string s) const	mim::Def	inline
mim::Def::set(Loc l, std::string s)	mim::Def	inline
mim::Def::set(Dbg d) const	mim::Def	inline
mim::Def::set(Dbg d)	mim::Def	inline
set_codom(Ref codom)	mim::Pi	inline
set_dom(Ref dom)	mim::Pi	inline
set_dom(Defs doms)	mim::Pi
set_type(const Def *)	mim::Def
stream(std::ostream &, int max) const	mim::Def
stub(Ref type)	mim::Pi	inline
mim::Def::stub(World &w, Ref type)	mim::Def	inline
stub_(World &, Ref) override	mim::Pi	privatevirtual
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
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	inline
trip_	mim::Def	protected
tvar(nat_t i)	mim::Def	inline
tvars(F f)	mim::Def	inline
tvars()	mim::Def	inline
type() const	mim::Def	inline
unfold_type() const	mim::Def
unique_name() const	mim::Def
unset()	mim::Pi	inline
unset_type()	mim::Def
update()	mim::Def	inline
uses() const	mim::Def	inline
var(nat_t a, nat_t i)	mim::Def	inline
var(nat_t i)	mim::Def	inline
var()	mim::Def
vars(F f)	mim::Def	inline
vars()	mim::Def	inline
vars(nat_t a, F f)	mim::Def	inline
vars(nat_t a)	mim::Def	inline
world() const	mim::Def
write(int max) const	mim::Def
write(int max, const char *file) const	mim::Def
~Def()=default	mim::Def	protectedvirtual