CBMC
|
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 |
Functor to convert cfg nodes into dense integers, used by cfg_baset.
Default implementation: the identity function.
|
inline |