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:

• /home/runner/work/cbmc/cbmc/src/goto-programs/cfg.h