[PPL-devel] test if polyhedron satisfies a constraint

[Elisa Ricci]

On Thu, 18 Oct 2001, P M Hill wrote:

> Hi,
>
> BTW In Polyhedron.defs.hh, I found:
>   //! Returns the relation between the generators of \p *this
>   //! and the constraint \p con.
>   GenSys_Con_Rel poly_satisfies_constraint(const Constraint& con);
>
> but I am not sure what this is for.
>

Hi,

this method is uesd to verify if the generators of the polyhedron
*this satisfy the constraint con.

Returns:
  - ALL_SATURATE if all generators belong to the hyper-plane
    defined by con (saturate con),
  - ALL_SATISFY if all generators satisfy con but do not
    belong to the hyper-plane defined by con,
  - NONE_SATISFIES if no generators satisfy con,
  - SOME_SATISFY if one or more generators do not satisfy con.

Ciao,
  Elisa