Simplify the gate comparer: we can also sort artificial facets like normal facets

Artificial facets are *not* infinite facets.
This commit is contained in:
Mael Rouxel-Labbé 2023-09-20 12:55:11 +02:00
parent 4d50ec46b3
commit bff07b2fc9
1 changed files with 0 additions and 5 deletions

View File

@ -68,11 +68,6 @@ struct Less_gate
template <typename DT3>
bool operator()(const Gate<DT3>& a, const Gate<DT3>& b) const
{
// @fixme? make it a total order by comparing addresses if both gates are bbox facets
if(a.is_artificial_facet())
return true;
else if(b.is_artificial_facet())
return false;
return a.priority() > b.priority();
}
};