bool Model::leq()

in source/Model.cpp [864:876]


bool Model::leq(const Model& other) const {
  return modes_.is_subset_of(other.modes_) &&
      generations_.leq(other.generations_) &&
      parameter_sources_.leq(other.parameter_sources_) &&
      sinks_.leq(other.sinks_) && propagations_.leq(other.propagations_) &&
      global_sanitizers_.leq(other.global_sanitizers_) &&
      port_sanitizers_.leq(other.port_sanitizers_) &&
      attach_to_sources_.leq(other.attach_to_sources_) &&
      attach_to_sinks_.leq(other.attach_to_sinks_) &&
      attach_to_propagations_.leq(other.attach_to_propagations_) &&
      add_features_to_arguments_.leq(other.add_features_to_arguments_) &&
      inline_as_.leq(other.inline_as_) && issues_.leq(other.issues_);
}