Public Types

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

Public Member Functions

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

Definition at line 23 of file generalization.cpp.

Definition at line 36 of file generalization.cpp.

frequency_mapt::frequency_mapt ( const exprt & expr )

inlineexplicit

Definition at line 26 of file generalization.cpp.

void frequency_mapt::count_rec ( const exprt & expr )

inlineprotected

Definition at line 56 of file generalization.cpp.

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

inline

Definition at line 39 of file generalization.cpp.

void frequency_mapt::operator() ( const exprt & expr )

inline

Definition at line 31 of file generalization.cpp.

void frequency_mapt::setup_rec ( const exprt & expr )

inlineprotected

Definition at line 71 of file generalization.cpp.

counterst frequency_mapt::counters

protected

Definition at line 54 of file generalization.cpp.

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