GCC Middle and Back End API Reference
|
#include <constraint-manager.h>
Public Member Functions | |
constraint (equiv_class_id lhs, enum constraint_op c_op, equiv_class_id rhs) | |
void | print (pretty_printer *pp, const constraint_manager &cm) const |
json::object * | to_json () const |
std::unique_ptr< text_art::widget > | make_dump_widget (const text_art::dump_widget_info &dwi, const constraint_manager &cm) const |
hashval_t | hash () const |
bool | operator== (const constraint &other) const |
bool | is_ordering_p () const |
bool | implied_by (const constraint &other, const constraint_manager &cm) const |
Data Fields | |
equiv_class_id | m_lhs |
enum constraint_op | m_op |
equiv_class_id | m_rhs |
A relationship between two equivalence classes in a constraint_manager.
|
inline |
References gcc_assert.
hashval_t ana::constraint::hash | ( | ) | const |
bool ana::constraint::implied_by | ( | const constraint & | other, |
const constraint_manager & | cm ) const |
|
inline |
References ana::CONSTRAINT_NE, and m_op.
std::unique_ptr< text_art::widget > ana::constraint::make_dump_widget | ( | const text_art::dump_widget_info & | dwi, |
const constraint_manager & | cm ) const |
bool ana::constraint::operator== | ( | const constraint & | other | ) | const |
void ana::constraint::print | ( | pretty_printer * | pp, |
const constraint_manager & | cm ) const |
json::object * ana::constraint::to_json | ( | ) | const |
equiv_class_id ana::constraint::m_lhs |
enum constraint_op ana::constraint::m_op |
Referenced by is_ordering_p().
equiv_class_id ana::constraint::m_rhs |