[PPL-devel] Unneeded asymmetries between Constraint/Generator public interfaces.

[Enea Zaffanella]

Roberto Bagnara wrote:

[...]

> I would agree on having them all public (is_line included), even though
> I believed we agreed on the fact that the name "vertex" is somewhat 
> special.


I know, but that is another story. This type inspection method will be 
renamed with all the other methods using the word "vertex" improperly, 
all at once. THEN, we will probably add a new method called either 
is_vertex() or is_extremal_point() that will answer "true" if the point 
is a proper vertex.

Enea