mim::plug::refly Namespace Reference

The refly Plugin More...

Classes
class	RemoveDbgPerm
	Removes all refly.debug.perm markers for code gen. More...

Enumerations
%refly.Code
enum class	Code : flags_t
%refly.error
enum class	error : flags_t
%refly.warn
enum class	warn : flags_t
%refly.info
enum class	info : flags_t
%refly.verbose
enum class	verbose : flags_t
%refly.debug
enum class	debug : flags_t
%refly.remove_dbg_perm_pass
enum class	remove_dbg_perm_pass : flags_t

Functions
void	register_normalizers (Normalizers &normalizers)

Variables
static constexpr plugin_t	Plugin_Id = 0x4c61cd6800000000

%refly.reify
enum class	reify : flags_t
const Def *	normalize_reify (const Def *, const Def *, const Def *arg)

%refly.reflect
enum class	reflect : flags_t
const Def *	normalize_reflect (const Def *, const Def *, const Def *arg)

%refly.gid
enum class	gid : flags_t
const Def *	normalize_gid (const Def *, const Def *, const Def *arg)

%refly.dbg
enum class	dbg : flags_t {   tmp = 0x4c61cd6800000900 ,   perm = 0x4c61cd6800000901 }
template<dbg id>
const Def *	normalize_dbg (const Def *, const Def *, const Def *arg)

%refly.refine
enum class	refine : flags_t
const Def *	normalize_refine (const Def *, const Def *, const Def *arg)

Detailed Description

The refly Plugin

Enumeration Type Documentation

Code

enum class mim::plug::refly::Code : flags_t

strong

Definition at line 14 of file autogen.h.

dbg

enum class mim::plug::refly::dbg : flags_t

strong

Enumerator
tmp
perm

Definition at line 80 of file autogen.h.

debug

enum class mim::plug::refly::debug : flags_t

strong

Definition at line 73 of file autogen.h.

error

enum class mim::plug::refly::error : flags_t

strong

Definition at line 45 of file autogen.h.

gid

enum class mim::plug::refly::gid : flags_t

strong

Definition at line 37 of file autogen.h.

info

enum class mim::plug::refly::info : flags_t

strong

Definition at line 59 of file autogen.h.

refine

enum class mim::plug::refly::refine : flags_t

strong

Definition at line 92 of file autogen.h.

reflect

enum class mim::plug::refly::reflect : flags_t

strong

Definition at line 29 of file autogen.h.

reify

enum class mim::plug::refly::reify : flags_t

strong

Definition at line 21 of file autogen.h.

remove_dbg_perm_pass

enum class mim::plug::refly::remove_dbg_perm_pass : flags_t

strong

Definition at line 100 of file autogen.h.

verbose

enum class mim::plug::refly::verbose : flags_t

strong

Definition at line 66 of file autogen.h.

warn

enum class mim::plug::refly::warn : flags_t

strong

Definition at line 52 of file autogen.h.

Function Documentation

normalize_dbg()

template<dbg id>

const Def * mim::plug::refly::normalize_dbg	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 39 of file normalizers.cpp.

References perm, and mim::Def::projs().

normalize_gid()

const Def * mim::plug::refly::normalize_gid	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 59 of file normalizers.cpp.

References mim::Def::gid(), mim::World::lit_nat(), and mim::Def::world().

normalize_refine()

const Def * mim::plug::refly::normalize_refine	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 49 of file normalizers.cpp.

References mim::Lit::isa(), and mim::Def::projs().

normalize_reflect()

const Def * mim::plug::refly::normalize_reflect	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 47 of file normalizers.cpp.

normalize_reify()

const Def * mim::plug::refly::normalize_reify	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 45 of file normalizers.cpp.

register_normalizers()

void mim::plug::refly::register_normalizers

(

Normalizers &

normalizers

)

Referenced by mim_get_plugin().

Variable Documentation

Plugin_Id

plugin_t mim::plug::refly::Plugin_Id = 0x4c61cd6800000000

staticconstexpr

Definition at line 10 of file autogen.h.