CBMC
cfg_instruction_to_dense_integert< T > Class Template Reference

Functor to convert cfg nodes into dense integers, used by cfg_baset. More...

#include <cfg.h>

Public Member Functions

std::size_t operator() (T &&t) const
 

Detailed Description

template<class T>
class cfg_instruction_to_dense_integert< T >

Functor to convert cfg nodes into dense integers, used by cfg_baset.

Default implementation: the identity function.

Definition at line 38 of file cfg.h.

Member Function Documentation

◆ operator()()

template<class T >
std::size_t cfg_instruction_to_dense_integert< T >::operator() ( T &&  t) const
inline

Definition at line 41 of file cfg.h.


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