ana::constraint_manager Class Reference
#include <constraint-manager.h>
Collaboration diagram for ana::constraint_manager:
Static Public Member Functions | |
| static void | merge (const constraint_manager &cm_a, const constraint_manager &cm_b, constraint_manager *out) |
Data Fields | |
| auto_delete_vec< equiv_class > | m_equiv_classes |
| auto_vec< constraint > | m_constraints |
| auto_vec< bounded_ranges_constraint > | m_bounded_ranges_constraints |
Private Member Functions | |
| void | add_constraint_internal (equiv_class_id lhs_id, enum constraint_op c_op, equiv_class_id rhs_id) |
| bool | impossible_derived_conditions_p (const svalue *lhs, const svalue *rhs) const |
Private Attributes | |
| region_model_manager * | m_mgr |
Detailed Description
A collection of equivalence classes and constraints on them. Given N svalues, this can be thought of as representing a subset of N-dimensional space. When we call add_constraint, we are effectively taking an intersection with that constraint.
Constructor & Destructor Documentation
◆ constraint_manager() [1/2]
|
inline |
References m_mgr.
Referenced by constraint_manager(), merge(), operator!=(), operator=(), operator==(), and replay_call_summary().
◆ constraint_manager() [2/2]
| ana::constraint_manager::constraint_manager | ( | const constraint_manager & | other | ) |
References constraint_manager().
◆ ~constraint_manager()
|
inlinevirtual |
Member Function Documentation
◆ add_bounded_ranges()
| bool ana::constraint_manager::add_bounded_ranges | ( | const svalue * | sval, |
| const bounded_ranges * | ranges ) |
◆ add_constraint() [1/2]
| bool ana::constraint_manager::add_constraint | ( | const svalue * | lhs, |
| enum tree_code | op, | ||
| const svalue * | rhs ) |
◆ add_constraint() [2/2]
| bool ana::constraint_manager::add_constraint | ( | equiv_class_id | lhs_ec_id, |
| enum tree_code | op, | ||
| equiv_class_id | rhs_ec_id ) |
◆ add_constraint_internal()
|
private |
◆ add_unknown_constraint()
| void ana::constraint_manager::add_unknown_constraint | ( | equiv_class_id | lhs_ec_id, |
| enum tree_code | op, | ||
| equiv_class_id | rhs_ec_id ) |
◆ canonicalize()
| void ana::constraint_manager::canonicalize | ( | ) |
◆ dump() [1/2]
| void ana::constraint_manager::dump | ( | ) | const |
◆ dump() [2/2]
| void ana::constraint_manager::dump | ( | FILE * | fp | ) | const |
◆ dump_to_pp()
| void ana::constraint_manager::dump_to_pp | ( | pretty_printer * | pp, |
| bool | multiline ) const |
◆ eval_condition() [1/3]
| tristate ana::constraint_manager::eval_condition | ( | const svalue * | lhs, |
| enum tree_code | op, | ||
| const svalue * | rhs ) const |
◆ eval_condition() [2/3]
| tristate ana::constraint_manager::eval_condition | ( | equiv_class_id | lhs, |
| enum tree_code | op, | ||
| equiv_class_id | rhs ) const |
◆ eval_condition() [3/3]
| tristate ana::constraint_manager::eval_condition | ( | equiv_class_id | lhs_ec, |
| enum tree_code | op, | ||
| tree | rhs_const ) const |
◆ for_each_fact()
| void ana::constraint_manager::for_each_fact | ( | fact_visitor * | ) | const |
◆ get_ec_bounds()
| range ana::constraint_manager::get_ec_bounds | ( | equiv_class_id | ec_id | ) | const |
◆ get_equiv_class()
|
inline |
References ana::equiv_class_id::get_obj(), and get_or_add_equiv_class().
◆ get_equiv_class_by_index() [1/2]
|
inline |
References m_equiv_classes.
◆ get_equiv_class_by_index() [2/2]
|
inline |
References m_equiv_classes.
◆ get_equiv_class_by_svalue()
| bool ana::constraint_manager::get_equiv_class_by_svalue | ( | const svalue * | sval, |
| equiv_class_id * | out ) const |
◆ get_or_add_equiv_class()
| equiv_class_id ana::constraint_manager::get_or_add_equiv_class | ( | const svalue * | sval | ) |
Referenced by get_equiv_class().
◆ get_range_manager()
| bounded_ranges_manager * ana::constraint_manager::get_range_manager | ( | ) | const |
◆ hash()
| hashval_t ana::constraint_manager::hash | ( | ) | const |
◆ impossible_derived_conditions_p()
|
private |
◆ make_dump_widget()
| std::unique_ptr< text_art::tree_widget > ana::constraint_manager::make_dump_widget | ( | const text_art::dump_widget_info & | dwi | ) | const |
◆ merge()
|
static |
References constraint_manager().
◆ on_liveness_change()
| void ana::constraint_manager::on_liveness_change | ( | const svalue_set & | live_svalues, |
| const region_model * | model ) |
◆ operator!=()
|
inline |
References constraint_manager().
◆ operator=()
| constraint_manager & ana::constraint_manager::operator= | ( | const constraint_manager & | other | ) |
References constraint_manager().
◆ operator==()
| bool ana::constraint_manager::operator== | ( | const constraint_manager & | other | ) | const |
References constraint_manager().
◆ print()
| void ana::constraint_manager::print | ( | pretty_printer * | pp | ) | const |
◆ purge()
template<typename PurgeCriteria>
| void ana::constraint_manager::purge | ( | const PurgeCriteria & | p, |
| purge_stats * | stats ) |
◆ purge_state_involving()
| void ana::constraint_manager::purge_state_involving | ( | const svalue * | sval | ) |
◆ replay_call_summary()
| bool ana::constraint_manager::replay_call_summary | ( | call_summary_replay & | r, |
| const constraint_manager & | summary ) |
References constraint_manager(), and r.
◆ sval_constrained_p()
◆ to_json()
| std::unique_ptr< json::object > ana::constraint_manager::to_json | ( | ) | const |
◆ validate()
| void ana::constraint_manager::validate | ( | ) | const |
Field Documentation
◆ m_bounded_ranges_constraints
| auto_vec<bounded_ranges_constraint> ana::constraint_manager::m_bounded_ranges_constraints |
◆ m_constraints
| auto_vec<constraint> ana::constraint_manager::m_constraints |
◆ m_equiv_classes
| auto_delete_vec<equiv_class> ana::constraint_manager::m_equiv_classes |
Referenced by get_equiv_class_by_index(), and get_equiv_class_by_index().
◆ m_mgr
|
private |
Referenced by constraint_manager().
The documentation for this class was generated from the following file:
