reaking function is smallest (if there
            are multiple polyhedra with the same tie-breaking value, the first
            such set is considered),
            <tt>feasible = true</tt>,
            <tt>idx</tt> = index of the polyhedron which contains <tt>x</tt> and, simultaneously, has
            the <b>smallest</b> value of the tie-breaking function,
            <tt>tb_value</tt> = scalar value of the tie-breaking function in a polyhedron indexed
            by <tt>idx</tt>.
        </li>
    
   