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:

• cprover/generalization.cpp