/home/mine/apron/apronxx/apxx_ppl_product_inline.hh

Go to the documentation of this file.

/* -*- C++ -*-
 * apxx_ppl_product_inline.hh
 *
 * APRON Library / C++ inline functions
 *
 * DO NOT INCLUDE THIS FILE DIRECTLY
 *
 * 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.
*/

inline pkgrid_manager::pkgrid_manager(const polka_manager& manpk, 
                                      const ppl_grid_manager& manpplgrid)
  : manager(ap_pkgrid_manager_alloc(const_cast<ap_manager_t*>(manpk.get_ap_manager_t()),
                                    const_cast<ap_manager_t*>(manpplgrid.get_ap_manager_t())))
{}

inline pkgrid_manager::pkgrid_manager(bool strict) 
  : manager(ap_pkgrid_manager_alloc(const_cast<ap_manager_t*>(polka_manager(strict).get_ap_manager_t()),
                                    const_cast<ap_manager_t*>(ppl_grid_manager().get_ap_manager_t())))
{}

inline manager& pkgrid_manager::operator=(const manager& m)
{ 
  return manager::operator=(m); 
}