38 #ifndef DISCREPANCY_INFO_HPP 39 #define DISCREPANCY_INFO_HPP bool operator<(const DiscrepancyOpInfo &a, const DiscrepancyOpInfo &b)
CustomOrderedSet< unsigned int > start_states
static discrepancy_type_mask & operator &=(discrepancy_type_mask &a, const discrepancy_type_mask &b)
CustomOrderedSet< unsigned int > exec_states
static discrepancy_type_mask operator|(const discrepancy_type_mask &a, const discrepancy_type_mask &b)
bool operator>=(const DiscrepancyOpInfo &a, const DiscrepancyOpInfo &b)
bool operator>(const DiscrepancyOpInfo &a, const DiscrepancyOpInfo &b)
bool operator!=(const DiscrepancyOpInfo &a, const DiscrepancyOpInfo &b)
static discrepancy_type_mask & operator|=(discrepancy_type_mask &a, const discrepancy_type_mask &b)
bool operator==(const DiscrepancyOpInfo &a, const DiscrepancyOpInfo &b)
unsigned int vec_base_bitsize
static discrepancy_type_mask operator &(const discrepancy_type_mask &a, const discrepancy_type_mask &b)
redefinition of set to manage ordered/unordered structures
Template definition of refcount.
bool operator<=(const DiscrepancyOpInfo &a, const DiscrepancyOpInfo &b)
unsigned int ssa_name_node_id
CustomOrderedSet< unsigned int > end_states
enum discrepancy_type_mask type