cprover
numbering< T > Class Template Reference

#include <numbering.h>

Inheritance diagram for numbering< T >:
[legend]
Collaboration diagram for numbering< T >:
[legend]

Public Types

typedef std::size_t number_type
 

Public Member Functions

number_type number (const T &a)
 
number_type operator() (const T &a)
 
bool get_number (const T &a, number_type &n) const
 
void clear ()
 

Protected Types

typedef std::vector< T > subt
 
typedef std::map< T, number_typenumberst
 

Protected Attributes

numberst numbers
 

Detailed Description

template<typename T>
class numbering< T >

Definition at line 21 of file numbering.h.

Member Typedef Documentation

◆ number_type

template<typename T>
typedef std::size_t numbering< T >::number_type

Definition at line 25 of file numbering.h.

◆ numberst

template<typename T>
typedef std::map<T, number_type> numbering< T >::numberst
protected

Definition at line 68 of file numbering.h.

◆ subt

template<typename T>
typedef std::vector<T> numbering< T >::subt
protected

Definition at line 66 of file numbering.h.

Member Function Documentation

◆ clear()

template<typename T>
void numbering< T >::clear ( void  )
inline

Definition at line 59 of file numbering.h.

Referenced by irep_hash_container_baset::clear(), and union_find< exprt >::clear().

◆ get_number()

template<typename T>
bool numbering< T >::get_number ( const T &  a,
number_type n 
) const
inline

◆ number()

◆ operator()()

template<typename T>
number_type numbering< T >::operator() ( const T &  a)
inline

Definition at line 43 of file numbering.h.

Member Data Documentation

◆ numbers

template<typename T>
numberst numbering< T >::numbers
protected

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