mim::Axiom Member List

This is the complete list of members for mim::Axiom, 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
base() const	mim::Axiom	inline
check()	mim::Def	inlinevirtual
curry() const	mim::Axiom	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
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
get(const Def *def)	mim::Axiom	static
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()	mim::Def	inlinevirtual
infer_curry_and_trip(const Def *type)	mim::Axiom	static
is_closed() const	mim::Def
is_external() const	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_imm(R(T::*f)() const) const	mim::Def	inline
isa_lit_arity() const	mim::Def
isa_mut() const	mim::Def	inline
loc() const	mim::Def	inline
local_muts() const	mim::Def
local_vars() const	mim::Def	inline
make_external()	mim::Def
make_internal()	mim::Def
Node	mim::Axiom	static
node() const	mim::Def	inline
node_name() const	mim::Def
normalizer() const	mim::Axiom	inline
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
plugin() const	mim::Axiom	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, Ref type, Defs ops) const	mim::Def	inline
rebuild(Ref type, Defs ops) const	mim::Def	inline
rebuild_(World &, Ref, Defs) const override	mim::Axiom	privatevirtual
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
mim::set(size_t i, const Def *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< Axiom >::set(Loc l) const	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Loc l)	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Sym s) const	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Sym s)	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(std::string s) const	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(std::string s)	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Loc l, Sym s) const	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Loc l, Sym s)	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Loc l, std::string s) const	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Loc l, std::string s)	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Dbg d) const	mim::Setters< Axiom >	inline
mim::Setters< Axiom >::set(Dbg d)	mim::Setters< Axiom >	inline
set_type(const Def *)	mim::Def
stream(std::ostream &, int max) const	mim::Def
stub(World &w, Ref type)	mim::Def	inline
stub(Ref type)	mim::Def	inline
sub() const	mim::Axiom	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
tag() const	mim::Axiom	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	inline
trip() const	mim::Axiom	inline
trip_	mim::Def	protected
Trip_End	mim::Axiom	static
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::Def
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 class	mim::Axiom	friend
world() const	mim::Def
write(int max) const	mim::Def
write(int max, const char *file) const	mim::Def
~Def()=default	mim::Def	protectedvirtual