in source/Frame.cpp [53:73]
bool Frame::leq(const Frame& other) const {
if (is_bottom()) {
return true;
} else if (other.is_bottom()) {
return false;
} else {
return kind_ == other.kind_ &&
(is_artificial_source() ? callee_port_.leq(other.callee_port_)
: callee_port_ == other.callee_port_) &&
callee_ == other.callee_ && call_position_ == other.call_position_ &&
distance_ >= other.distance_ && origins_.leq(other.origins_) &&
field_origins_.leq(other.field_origins_) &&
inferred_features_.leq(other.inferred_features_) &&
locally_inferred_features_.leq(other.locally_inferred_features_) &&
user_features_.leq(other.user_features_) &&
via_type_of_ports_.leq(other.via_type_of_ports_) &&
via_value_of_ports_.leq(other.via_value_of_ports_) &&
local_positions_.leq(other.local_positions_) &&
canonical_names_.leq(other.canonical_names_);
}
}