cprover
sparse_bitvector_analysist< V > Class Template Reference

#include <reaching_definitions.h>

Inheritance diagram for sparse_bitvector_analysist< V >:
[legend]
Collaboration diagram for sparse_bitvector_analysist< V >:
[legend]

Public Member Functions

const V & get (const std::size_t value_index) const
 
std::size_t add (const V &value)
 
void clear ()
 

Protected Types

typedef std::map< V, std::size_t > inner_mapt
 

Protected Attributes

std::vector< typename inner_mapt::const_iterator > values
 
std::unordered_map< irep_idt, inner_maptvalue_map
 

Detailed Description

template<typename V>
class sparse_bitvector_analysist< V >

Definition at line 32 of file reaching_definitions.h.

Member Typedef Documentation

◆ inner_mapt

template<typename V>
typedef std::map<V, std::size_t> sparse_bitvector_analysist< V >::inner_mapt
protected

Definition at line 61 of file reaching_definitions.h.

Member Function Documentation

◆ add()

template<typename V>
std::size_t sparse_bitvector_analysist< V >::add ( const V &  value)
inline

Definition at line 41 of file reaching_definitions.h.

Referenced by rd_range_domaint::gen(), and rd_range_domaint::kill().

◆ clear()

template<typename V>
void sparse_bitvector_analysist< V >::clear ( void  )
inline

◆ get()

template<typename V>
const V& sparse_bitvector_analysist< V >::get ( const std::size_t  value_index) const
inline

Member Data Documentation

◆ value_map

template<typename V>
std::unordered_map<irep_idt, inner_mapt> sparse_bitvector_analysist< V >::value_map
protected

◆ values


The documentation for this class was generated from the following file: