mim::ClosedMutPhase< M > Class Template Reference

Transitively visits all reachable closed mutables (Def::is_closed()) in World. More...

#include <mim/phase/phase.h>

Inheritance diagram for mim::ClosedMutPhase< M >:

Public Member Functions
	ClosedMutPhase (World &world, std::string_view name, bool elide_empty)
void	start () override
	Actual entry.
Public Member Functions inherited from mim::Phase
	Phase (World &world, std::string_view name, bool dirty)
virtual	~Phase ()=default
World &	world ()
std::string_view	name () const
bool	is_dirty () const
virtual void	run ()
	Entry point and generates some debug output; invokes Phase::start.

Protected Member Functions
virtual void	visit (M *)=0
M *	curr_mut () const
Protected Member Functions inherited from mim::Phase

Additional Inherited Members
Static Public Member Functions inherited from mim::Phase
template<class P , class... Args>
static void	run (Args &&... args)
	Runs a single Phase.
Protected Attributes inherited from mim::Phase
World &	world_
std::string	name_
bool	dirty_

Detailed Description

template<class M = Def>
class mim::ClosedMutPhase< M >

Transitively visits all reachable closed mutables (Def::is_closed()) in World.

Select with elide_empty whether you want to visit trivial muts without body. Assumes that you don't change anything - hence dirty flag is set to false. If you a are only interested in specific mutables, you can pass this to M.

Definition at line 170 of file phase.h.

Constructor & Destructor Documentation

ClosedMutPhase()

template<class M = Def>

mim::ClosedMutPhase< M >::ClosedMutPhase ( World & world, std::string_view name, bool elide_empty )

inline

Definition at line 172 of file phase.h.

Member Function Documentation

curr_mut()

template<class M = Def>

M * mim::ClosedMutPhase< M >::curr_mut ( ) const

inlineprotected

Definition at line 191 of file phase.h.

start()

template<class M = Def>

void mim::ClosedMutPhase< M >::start ( )

inlineoverridevirtual

Actual entry.

Implements mim::Phase.

Definition at line 176 of file phase.h.

References mim::unique_queue< Set >::empty(), mim::Def::extended_ops(), mim::Def::local_muts(), M, mim::unique_queue< Set >::pop(), mim::unique_queue< Set >::push(), mim::ClosedMutPhase< M >::visit(), and mim::Phase::world().

visit()

template<class M = Def>

virtual void mim::ClosedMutPhase< M >::visit ( M * )

protectedpure virtual

Referenced by mim::ClosedMutPhase< M >::start().

---

The documentation for this class was generated from the following file:

• include/mim/phase/phase.h