CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
frequency_mapt Class Reference
+ Collaboration diagram for frequency_mapt:

Public Types

using  counterst = std::map< exprt, std::size_t >
 

Public Member Functions

 
 
std::vector< counterst::const_iterator >  frequencies () const
 

Protected Member Functions

 
 

Protected Attributes

 

Detailed Description

Definition at line 23 of file generalization.cpp.

Member Typedef Documentation

◆  counterst

using frequency_mapt::counterst = std::map<exprt, std::size_t>

Definition at line 36 of file generalization.cpp.

Constructor & Destructor Documentation

◆  frequency_mapt()

frequency_mapt::frequency_mapt ( const exprtexpr )
inlineexplicit

Definition at line 26 of file generalization.cpp.

Member Function Documentation

◆  count_rec()

void frequency_mapt::count_rec ( const exprtexpr )
inlineprotected

Definition at line 56 of file generalization.cpp.

◆  frequencies()

std::vector< counterst::const_iterator > frequency_mapt::frequencies ( ) const
inline

Definition at line 39 of file generalization.cpp.

◆  operator()()

void frequency_mapt::operator() ( const exprtexpr )
inline

Definition at line 31 of file generalization.cpp.

◆  setup_rec()

void frequency_mapt::setup_rec ( const exprtexpr )
inlineprotected

Definition at line 71 of file generalization.cpp.

Member Data Documentation

◆  counters

counterst frequency_mapt::counters
protected

Definition at line 54 of file generalization.cpp.


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

AltStyle によって変換されたページ (->オリジナル) /