/home/mine/apron/apronxx/apxx_ppl.hh

Go to the documentation of this file.

/* -*- C++ -*-
 * apxx_ppl.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_HH
#define __APXX_PPL_HH

#include "apxx_manager.hh"

#include "ap_ppl.h"

namespace apron {

class ppl_poly_manager : public manager {

public:

  ppl_poly_manager(bool strict = false);

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

class ppl_grid_manager : public manager {

public:

  ppl_grid_manager();

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

#include "apxx_ppl_inline.hh"

}

#endif /* __APXX_PPL_HH */