world.h File Reference

#include <sstream>
#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 "thorin/axiom.h"
#include "thorin/check.h"
#include "thorin/flags.h"
#include "thorin/lam.h"
#include "thorin/lattice.h"
#include "thorin/tuple.h"
#include "thorin/util/dbg.h"
#include "thorin/util/hash.h"
#include "thorin/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	thorin::World
	The World represents the whole program and manages creation of Thorin nodes (Defs). More...
struct	thorin::World::State
struct	thorin::World::State::POD
	Plain Old Data More...
struct	thorin::World::Freezer
	Use to World::freeze and automatically unfreeze at the end of scope. More...

Namespaces
namespace	thorin

---

Class Documentation

thorin::World::State::POD

struct thorin::World::State::POD

Plain Old Data

Definition at line 43 of file world.h.

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