api/cxx/apxx__ppl__product_8hh_source.html

 /* -*- C++ -*-
  * apxx_ppl_product.hh
  *
  * APRON Library / C++ class wrappers
  *
  * Copyright (C) Antoine Mine' 2007
  *
  */
 /* This file is part of the APRON Library.
    As it includes both APRON and PPL files, it is released under GPL license.
    Please read the ppl/COPYING file packaged in the distribution.
 */

 #ifndef __APXX_PPL_PRODUCT_HH
 #define __APXX_PPL_PRODUCT_HH

 #include "apxx_manager.hh"

 #include "ap_pkgrid.h"

 namespace apron {

 class pkgrid_manager : public manager {

 public:

   pkgrid_manager(const polka_manager& manpk, const ppl_grid_manager& manpplgrid);

   pkgrid_manager(bool strict = false);


   manager& operator=(const manager&);
 };

 #include "apxx_ppl_product_inline.hh"

 }

 #endif /* __APXX_PPL_PRODUCT_HH */
apron
Definition: apxx_abstract0.hh:27

apxx_ppl_product_inline.hh

apron::manager
Library manager (ap_manager_t wrapper).
Definition: apxx_manager.hh:137

apron::pkgrid_manager::pkgrid_manager
pkgrid_manager(const polka_manager &manpk, const ppl_grid_manager &manpplgrid)
Creates a new manager.
Definition: apxx_ppl_product.hh:17

apron::ppl_grid_manager
Manager factory for grid domain using the PPL library.
Definition: apxx_ppl.hh:42

apxx_manager.hh

apron::pkgrid_manager::operator=
manager & operator=(const manager &)
Copy operator.
Definition: apxx_ppl_product.hh:28

apron::polka_manager
Manager factory for the NewPolka polyhedra library.
Definition: apxx_polka.hh:26

apron::pkgrid_manager
Manager factory for reduced product domain of NewPolka polyhedra and PPL grids.
Definition: apxx_ppl_product.hh:24