ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
contextt_detail Namespace Reference

Classes

struct  by_id
struct  by_order

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 > > > > symbol_containert

Typedef Documentation

◆ symbol_containert

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