1 #ifndef __PPL_SOLVER_HPP_ 2 #define __PPL_SOLVER_HPP_ 22 namespace PPL = Parma_Polyhedra_Library;
24 #include "system_constants.hpp" 26 #include "lp_solver.hpp" 55 virtual unsigned long get_number_of_constraints() {
return m; }
60 virtual bool solve(vector<constraint> &);
65 PPL::NNC_Polyhedron *
lp;
virtual bool solve(constraint &)
Adds the indicated constraint (singular!) and re-computes the solution.
approximate skeleton of a polyhedral cone, using PPL linear solver
NVAR_TYPE n
number of variables
exact or approximate polyhedral cone solution, with methods allowing definition and refinement ...
RAYENT_TYPE * ray_data
used to retrieve rays
unsigned m
number of constraints
PPL_Solver(NVAR_TYPE n)
initializes solver for variables
PPL::Variable ** X
array of variables
static unsigned instances
number of PPL instances
virtual bool copy(const LP_Solver *)
performs a deep copy, similar to a copy constructor
PPL::NNC_Polyhedron * lp
PPL problem interface.
virtual NVAR_TYPE get_dimension() const
Returns the dimension of the underlying vector space.
virtual void setup_rays()
clear the current set of rays and extracts the ones contained in lp