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