cprover
Loading...
Searching...
No Matches
frequency_mapt Class Reference
Collaboration diagram for frequency_mapt:

Public Types

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

Public Member Functions

 frequency_mapt (const exprt &expr)
void operator() (const exprt &expr)
std::vector< counterst::const_iterator > frequencies () const

Protected Member Functions

void count_rec (const exprt &expr)
void setup_rec (const exprt &expr)

Protected Attributes

counterst counters

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 exprt & expr)
inlineexplicit

Definition at line 26 of file generalization.cpp.

Member Function Documentation

◆ count_rec()

void frequency_mapt::count_rec ( const exprt & expr)
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 exprt & expr)
inline

Definition at line 31 of file generalization.cpp.

◆ setup_rec()

void frequency_mapt::setup_rec ( const exprt & expr)
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: