cprover
|
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 |
Definition at line 23 of file generalization.cpp.
using frequency_mapt::counterst = std::map<exprt, std::size_t> |
Definition at line 36 of file generalization.cpp.
Definition at line 26 of file generalization.cpp.
Definition at line 56 of file generalization.cpp.
|
inline |
Definition at line 39 of file generalization.cpp.
Definition at line 31 of file generalization.cpp.
Definition at line 71 of file generalization.cpp.
|
protected |
Definition at line 54 of file generalization.cpp.