[PPL-devel] test if polyhedron satisfies a constraint
P M Hill
hill at comp.leeds.ac.uk
Thu Oct 18 10:30:40 CEST 2001
On Thu, 18 Oct 2001, Elisa Ricci wrote:
> 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.
> this method is uesd to verify if the generators of the polyhedron
> *this satisfy the constraint con.
> - 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.
Which, if any of these flags mean that all points in
the polyhedron satisfy the constraint?
Also, I want to refer to a specific polyhedron.
More information about the PPL-devel