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>

Inheritance diagram for cfg_instruction_to_dense_integert< T >:

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:

• goto-programs/cfg.h