context.h File Reference

#include <functional>
#include <boost/multi_index/hashed_index.hpp>
#include <boost/multi_index/member.hpp>
#include <boost/multi_index/sequenced_index.hpp>
#include <boost/multi_index_container.hpp>
#include <util/config/config.h>
#include <util/symtab/symbol.h>
#include <util/irep/type.h>

Include dependency graph for context.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	contextt_detail::by_id
struct	contextt_detail::by_order
class	contextt

Namespaces
namespace	contextt_detail

Typedefs
typedef boost::multi_index_container< symbolt, boost::multi_index::indexed_by< boost::multi_index::hashed_unique< boost::multi_index::tag< by_id >, BOOST_MULTI_INDEX_MEMBER(symbolt, irep_idt, id), irep_id_hash >, boost::multi_index::sequenced< boost::multi_index::tag< by_order > > > >	contextt_detail::symbol_containert