MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
world.h File Reference
#include <string>
#include <string_view>
#include <type_traits>
#include <absl/container/btree_map.h>
#include <absl/container/btree_set.h>
#include <fe/arena.h>
#include "mim/axiom.h"
#include "mim/check.h"
#include "mim/flags.h"
#include "mim/lam.h"
#include "mim/lattice.h"
#include "mim/tuple.h"
#include "mim/util/dbg.h"
#include "mim/util/log.h"
Include dependency graph for world.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  mim::World
 The World represents the whole program and manages creation of MimIR nodes (Defs). More...
 
struct  mim::World::State
 
struct  mim::World::State::POD
 Plain Old Data More...
 
struct  mim::World::ScopedLoc
 
struct  mim::World::Freezer
 Use to World::freeze and automatically unfreeze at the end of scope. More...
 

Namespaces

namespace  mim
 

Class Documentation

◆ mim::World::State::POD

struct mim::World::State::POD

Plain Old Data

Definition at line 41 of file world.h.

Class Members
u32 curr_gid = 0
u32 curr_sub = 0
bool frozen = false
Loc loc
Sym name