MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::World::Externals Class Reference

#include <mim/world.h>

Public Member Functions

Get syms/muts
const auto & sym2mut () const
auto syms () const
auto muts () const
Vector< Def * > mutate () const
 Returns a copy of muts() in a Vector; this allows you to modify the Externals while iterating.
Defoperator[] (Sym name) const
 Lookup by name.
externalize/internalize
void externalize (Def *)
void internalize (Def *)
Iterators
auto begin () const
auto end () const

Friends

void swap (Externals &ex1, Externals &ex2) noexcept

Detailed Description

Definition at line 215 of file world.h.

Member Function Documentation

◆ begin()

auto mim::World::Externals::begin ( ) const
inline

Definition at line 236 of file world.h.

◆ end()

auto mim::World::Externals::end ( ) const
inline

Definition at line 237 of file world.h.

◆ externalize()

void mim::World::Externals::externalize ( Def * def)

◆ internalize()

void mim::World::Externals::internalize ( Def * def)

Definition at line 34 of file world.cpp.

References mim::Def::is_external(), and mim::Def::sym().

Referenced by mim::Def::internalize().

◆ mutate()

Vector< Def * > mim::World::Externals::mutate ( ) const
inline

Returns a copy of muts() in a Vector; this allows you to modify the Externals while iterating.

Note
The iteration will see all old externals, of course.

Definition at line 224 of file world.h.

References muts().

Referenced by mim::optimize().

◆ muts()

auto mim::World::Externals::muts ( ) const
inline

Definition at line 221 of file world.h.

Referenced by mutate().

◆ operator[]()

Def * mim::World::Externals::operator[] ( Sym name) const
inline

Lookup by name.

Definition at line 225 of file world.h.

References mim::lookup(), and mim::World::name().

◆ sym2mut()

const auto & mim::World::Externals::sym2mut ( ) const
inline

Definition at line 219 of file world.h.

◆ syms()

auto mim::World::Externals::syms ( ) const
inline

Definition at line 220 of file world.h.

◆ swap

void swap ( Externals & ex1,
Externals & ex2 )
friend

Definition at line 240 of file world.h.

References swap.

Referenced by swap.


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