ppl_c_header.h

Go to the documentation of this file.

/* This is the header file of the C interface of the Parma Polyhedra Library.
   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
   Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)

This file is part of the Parma Polyhedra Library (PPL).

The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 3 of the License, or (at your
option) any later version.

The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.

For the most up-to-date information see the Parma Polyhedra Library
site: http://bugseng.com/products/ppl/ . */

#ifndef PPL_ppl_c_h
#define PPL_ppl_c_h 1
 /* \mainpage */

/*
  For some reason, GMP up to and including version 4.1.3 requires
  <stdio.h> to be included before <gmp.h>.
*/

#include <stdio.h>
#include <gmp.h>
#include <stddef.h>

/*
  PPL_PROTO is a macro used to wrap function prototypes, so that
  compilers that don't understand ANSI C prototypes still work, and
  ANSI C compilers can issue warnings about type mismatches.
*/
#if defined(__STDC__)                              \
  || defined(__cplusplus)                          \
  || defined (_AIX)                                \
  || (defined (__mips) && defined (_SYSTYPE_SVR4)) \
  || defined(_WIN32)
# define PPL_PROTO(protos) protos
#else
# define PPL_PROTO(protos) ()
#endif

#ifdef __cplusplus
extern "C" {
#endif


int
ppl_initialize PPL_PROTO((void));

int
ppl_finalize PPL_PROTO((void));

int
ppl_set_rounding_for_PPL PPL_PROTO((void));

int
ppl_restore_pre_PPL_rounding PPL_PROTO((void));

int
ppl_irrational_precision PPL_PROTO((unsigned* p));

int
ppl_set_irrational_precision PPL_PROTO((unsigned p));
 /* Init */


#include "ppl_c_version.h"

int
ppl_version_major PPL_PROTO((void));

int
ppl_version_minor PPL_PROTO((void));

int
ppl_version_revision PPL_PROTO((void));

int
ppl_version_beta PPL_PROTO((void));

int
ppl_version PPL_PROTO((const char** p));

int
ppl_banner PPL_PROTO((const char** p));
 /* Version Checking */


enum ppl_enum_error_code {
  PPL_ERROR_OUT_OF_MEMORY = -2,
  PPL_ERROR_INVALID_ARGUMENT = -3,
  PPL_ERROR_DOMAIN_ERROR = -4,
  PPL_ERROR_LENGTH_ERROR = -5,
  PPL_ARITHMETIC_OVERFLOW = -6,
  PPL_STDIO_ERROR = -7,
  PPL_ERROR_INTERNAL_ERROR = -8,
  PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION = -9,
  PPL_ERROR_UNEXPECTED_ERROR = -10,
  PPL_TIMEOUT_EXCEPTION = -11,
  PPL_ERROR_LOGIC_ERROR = -12
};

int
ppl_set_error_handler PPL_PROTO((void (*h)(enum ppl_enum_error_code code,
                                           const char* description)));
 /* Error */


int
ppl_set_timeout PPL_PROTO((unsigned csecs));

int
ppl_reset_timeout PPL_PROTO((void));

int
ppl_set_deterministic_timeout PPL_PROTO((unsigned long unscaled_weight,
                                         unsigned scale));

int
ppl_reset_deterministic_timeout PPL_PROTO((void));
 /* Timeout */


typedef size_t ppl_dimension_type;

int
ppl_max_space_dimension PPL_PROTO((ppl_dimension_type* m));

int
ppl_not_a_dimension PPL_PROTO((ppl_dimension_type* m));

int
ppl_io_print_variable PPL_PROTO((ppl_dimension_type var));

int
ppl_io_fprint_variable PPL_PROTO((FILE* stream, ppl_dimension_type var));

int
ppl_io_asprint_variable PPL_PROTO((char** strp, ppl_dimension_type var));

typedef const char*
ppl_io_variable_output_function_type(ppl_dimension_type var);

int
ppl_io_set_variable_output_function(ppl_io_variable_output_function_type* p);

int
ppl_io_get_variable_output_function(ppl_io_variable_output_function_type** pp);

char*
ppl_io_wrap_string(const char* src,
                   unsigned indent_depth,
                   unsigned preferred_first_line_length,
                   unsigned preferred_line_length);
 /* Datatypes */

#undef PPL_TYPE_DECLARATION

#define PPL_TYPE_DECLARATION(Type)                                    \
                       \
typedef struct ppl_##Type##_tag* ppl_##Type##_t;                      \
       \
typedef struct ppl_##Type##_tag const* ppl_const_##Type##_t;

PPL_TYPE_DECLARATION(Coefficient)


PPL_TYPE_DECLARATION(Linear_Expression)

PPL_TYPE_DECLARATION(Constraint)

PPL_TYPE_DECLARATION(Constraint_System)

PPL_TYPE_DECLARATION(Constraint_System_const_iterator)

PPL_TYPE_DECLARATION(Generator)

PPL_TYPE_DECLARATION(Generator_System)

PPL_TYPE_DECLARATION(Generator_System_const_iterator)

PPL_TYPE_DECLARATION(Congruence)

PPL_TYPE_DECLARATION(Congruence_System)

PPL_TYPE_DECLARATION(Congruence_System_const_iterator)

PPL_TYPE_DECLARATION(Grid_Generator)

PPL_TYPE_DECLARATION(Grid_Generator_System)

PPL_TYPE_DECLARATION(Grid_Generator_System_const_iterator)

PPL_TYPE_DECLARATION(MIP_Problem)

PPL_TYPE_DECLARATION(PIP_Problem)

PPL_TYPE_DECLARATION(PIP_Tree_Node)

PPL_TYPE_DECLARATION(PIP_Decision_Node)

PPL_TYPE_DECLARATION(PIP_Solution_Node)

PPL_TYPE_DECLARATION(Artificial_Parameter)
PPL_TYPE_DECLARATION(Artificial_Parameter_Sequence)

PPL_TYPE_DECLARATION(Artificial_Parameter_Sequence_const_iterator)


#undef PPL_DECLARE_PRINT_FUNCTIONS
#undef PPL_DECLARE_ASCII_DUMP_LOAD_FUNCTIONS
#undef PPL_DECLARE_IO_FUNCTIONS
#undef PPL_DECLARE_AND_DOCUMENT_PRINT_FUNCTIONS
#undef PPL_DECLARE_AND_DOCUMENT_ASCII_DUMP_LOAD_FUNCTIONS
#undef PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS

#define PPL_DECLARE_PRINT_FUNCTIONS(Type)                               \
                                        \
int                                                                     \
ppl_io_print_##Type PPL_PROTO((ppl_const_##Type##_t x));                \
                                        \
int                                                                     \
ppl_io_fprint_##Type PPL_PROTO((FILE* stream, ppl_const_##Type##_t x)); \
                                        \
int                                                                     \
ppl_io_asprint_##Type PPL_PROTO((char** strp, ppl_const_##Type##_t x));

#define PPL_DECLARE_ASCII_DUMP_LOAD_FUNCTIONS(Type) \
                    \
int                                                 \
ppl_##Type##_ascii_dump                             \
PPL_PROTO((ppl_const_##Type##_t x, FILE* stream));  \
                    \
int                                                 \
ppl_##Type##_ascii_load                             \
PPL_PROTO((ppl_##Type##_t x, FILE* stream));

#define PPL_DECLARE_IO_FUNCTIONS(Type)      \
PPL_DECLARE_PRINT_FUNCTIONS(Type)           \
PPL_DECLARE_ASCII_DUMP_LOAD_FUNCTIONS(Type)

#define PPL_DECLARE_AND_DOCUMENT_PRINT_FUNCTIONS(Type)                  \
       \
int                                                                     \
ppl_io_print_##Type PPL_PROTO((ppl_const_##Type##_t x));                \
 \
int                                                                     \
ppl_io_fprint_##Type PPL_PROTO((FILE* stream, ppl_const_##Type##_t x)); \
 \
int                                                                     \
ppl_io_asprint_##Type PPL_PROTO((char** strp, ppl_const_##Type##_t x));


#define PPL_DECLARE_AND_DOCUMENT_ASCII_DUMP_LOAD_FUNCTIONS(Type) \
 \
int                                                              \
ppl_##Type##_ascii_dump                                          \
PPL_PROTO((ppl_const_##Type##_t x, FILE* stream));               \
 \
int                                                              \
ppl_##Type##_ascii_load                                          \
PPL_PROTO((ppl_##Type##_t x, FILE* stream));

#define PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Type)      \
               \
                                                   \
PPL_DECLARE_AND_DOCUMENT_PRINT_FUNCTIONS(Type)           \
PPL_DECLARE_AND_DOCUMENT_ASCII_DUMP_LOAD_FUNCTIONS(Type) \
 /* Input/Output Functions */



int
ppl_new_Coefficient PPL_PROTO((ppl_Coefficient_t* pc));

int
ppl_new_Coefficient_from_mpz_t PPL_PROTO((ppl_Coefficient_t* pc, mpz_t z));

int
ppl_new_Coefficient_from_Coefficient PPL_PROTO((ppl_Coefficient_t* pc,
                                                ppl_const_Coefficient_t c));

int
ppl_assign_Coefficient_from_mpz_t PPL_PROTO((ppl_Coefficient_t dst, mpz_t z));

int
ppl_assign_Coefficient_from_Coefficient
PPL_PROTO((ppl_Coefficient_t dst, ppl_const_Coefficient_t src));

int
ppl_delete_Coefficient PPL_PROTO((ppl_const_Coefficient_t c));
 /* Constructors, Assignment and Destructor */


int
ppl_Coefficient_to_mpz_t PPL_PROTO((ppl_const_Coefficient_t c, mpz_t z));

int
ppl_Coefficient_OK PPL_PROTO((ppl_const_Coefficient_t c));

int
ppl_Coefficient_is_bounded PPL_PROTO((void));

int
ppl_Coefficient_min PPL_PROTO((mpz_t min));

int
ppl_Coefficient_max PPL_PROTO((mpz_t max));
 /* Read-Only Accessor Functions */

/* No ascii dump for Coefficient */
PPL_DECLARE_AND_DOCUMENT_PRINT_FUNCTIONS(Coefficient) /* I/O Functions */




int
ppl_new_Linear_Expression PPL_PROTO((ppl_Linear_Expression_t* ple));

int
ppl_new_Linear_Expression_with_dimension
PPL_PROTO((ppl_Linear_Expression_t* ple, ppl_dimension_type d));

int
ppl_new_Linear_Expression_from_Linear_Expression
PPL_PROTO((ppl_Linear_Expression_t* ple, ppl_const_Linear_Expression_t le));

int
ppl_new_Linear_Expression_from_Constraint
PPL_PROTO((ppl_Linear_Expression_t* ple, ppl_const_Constraint_t c));

int
ppl_new_Linear_Expression_from_Generator
PPL_PROTO((ppl_Linear_Expression_t* ple, ppl_const_Generator_t g));

int
ppl_new_Linear_Expression_from_Congruence
PPL_PROTO((ppl_Linear_Expression_t* ple, ppl_const_Congruence_t c));

int
ppl_new_Linear_Expression_from_Grid_Generator
PPL_PROTO((ppl_Linear_Expression_t* ple, ppl_const_Grid_Generator_t g));

int
ppl_assign_Linear_Expression_from_Linear_Expression
PPL_PROTO((ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src));

int
ppl_delete_Linear_Expression PPL_PROTO((ppl_const_Linear_Expression_t le));
 /* Constructors, Assignment and Destructor */


int
ppl_Linear_Expression_space_dimension
PPL_PROTO((ppl_const_Linear_Expression_t le, ppl_dimension_type* m));

int
ppl_Linear_Expression_coefficient PPL_PROTO((ppl_const_Linear_Expression_t le,
                                             ppl_dimension_type var,
                                             ppl_Coefficient_t n));

int
ppl_Linear_Expression_inhomogeneous_term
PPL_PROTO((ppl_const_Linear_Expression_t le, ppl_Coefficient_t n));

int
ppl_Linear_Expression_OK PPL_PROTO((ppl_const_Linear_Expression_t le));

int
ppl_Linear_Expression_is_zero PPL_PROTO((ppl_const_Linear_Expression_t le));

int
ppl_Linear_Expression_all_homogeneous_terms_are_zero
PPL_PROTO((ppl_const_Linear_Expression_t le));
 /* Functions that Do Not Modify the Linear Expression */


int
ppl_Linear_Expression_add_to_coefficient
PPL_PROTO((ppl_Linear_Expression_t le,
           ppl_dimension_type var,
           ppl_const_Coefficient_t n));

int
ppl_Linear_Expression_add_to_inhomogeneous
PPL_PROTO((ppl_Linear_Expression_t le, ppl_const_Coefficient_t n));

int
ppl_add_Linear_Expression_to_Linear_Expression
PPL_PROTO((ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src));

int
ppl_subtract_Linear_Expression_from_Linear_Expression
PPL_PROTO((ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src));

int
ppl_multiply_Linear_Expression_by_Coefficient
PPL_PROTO((ppl_Linear_Expression_t le, ppl_const_Coefficient_t n));
 /* Functions that May Modify the Linear Expression */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Linear_Expression)

enum ppl_enum_Constraint_Type {
  PPL_CONSTRAINT_TYPE_LESS_THAN,
  PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL,
  PPL_CONSTRAINT_TYPE_EQUAL,
  PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL,
  PPL_CONSTRAINT_TYPE_GREATER_THAN
};


int
ppl_new_Constraint PPL_PROTO((ppl_Constraint_t* pc,
                              ppl_const_Linear_Expression_t le,
                              enum ppl_enum_Constraint_Type rel));

int
ppl_new_Constraint_zero_dim_false PPL_PROTO((ppl_Constraint_t* pc));

int
ppl_new_Constraint_zero_dim_positivity PPL_PROTO((ppl_Constraint_t* pc));

int
ppl_new_Constraint_from_Constraint PPL_PROTO((ppl_Constraint_t* pc,
                                              ppl_const_Constraint_t c));

int
ppl_assign_Constraint_from_Constraint PPL_PROTO((ppl_Constraint_t dst,
                                                 ppl_const_Constraint_t src));

int
ppl_delete_Constraint PPL_PROTO((ppl_const_Constraint_t c));
 /* Constructors, Assignment and Destructor */


int
ppl_Constraint_space_dimension PPL_PROTO((ppl_const_Constraint_t c,
                                          ppl_dimension_type* m));

int
ppl_Constraint_type PPL_PROTO((ppl_const_Constraint_t c));

int
ppl_Constraint_coefficient PPL_PROTO((ppl_const_Constraint_t c,
                                      ppl_dimension_type var,
                                      ppl_Coefficient_t n));

int
ppl_Constraint_inhomogeneous_term PPL_PROTO((ppl_const_Constraint_t c,
                                             ppl_Coefficient_t n));

int
ppl_Constraint_OK PPL_PROTO((ppl_const_Constraint_t c));
 /* Functions that Do Not Modify the Constraint */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Constraint)




int
ppl_new_Constraint_System PPL_PROTO((ppl_Constraint_System_t* pcs));

int
ppl_new_Constraint_System_zero_dim_empty
PPL_PROTO((ppl_Constraint_System_t* pcs));

int
ppl_new_Constraint_System_from_Constraint
PPL_PROTO((ppl_Constraint_System_t* pcs, ppl_const_Constraint_t c));

int
ppl_new_Constraint_System_from_Constraint_System
PPL_PROTO((ppl_Constraint_System_t* pcs, ppl_const_Constraint_System_t cs));

int
ppl_assign_Constraint_System_from_Constraint_System
PPL_PROTO((ppl_Constraint_System_t dst, ppl_const_Constraint_System_t src));

int
ppl_delete_Constraint_System PPL_PROTO((ppl_const_Constraint_System_t cs));
 /* Constructors, Assignment and Destructor */


int
ppl_Constraint_System_space_dimension
PPL_PROTO((ppl_const_Constraint_System_t cs, ppl_dimension_type* m));

int
ppl_Constraint_System_empty
PPL_PROTO((ppl_const_Constraint_System_t cs));

int
ppl_Constraint_System_has_strict_inequalities
PPL_PROTO((ppl_const_Constraint_System_t cs));

int
ppl_Constraint_System_begin
PPL_PROTO((ppl_const_Constraint_System_t cs,
           ppl_Constraint_System_const_iterator_t cit));

int
ppl_Constraint_System_end
PPL_PROTO((ppl_const_Constraint_System_t cs,
           ppl_Constraint_System_const_iterator_t cit));

int
ppl_Constraint_System_OK PPL_PROTO((ppl_const_Constraint_System_t cs));
 /* Functions that Do Not Modify the Constraint System */


int
ppl_Constraint_System_clear PPL_PROTO((ppl_Constraint_System_t cs));

int
ppl_Constraint_System_insert_Constraint PPL_PROTO((ppl_Constraint_System_t cs,
                                                   ppl_const_Constraint_t c));
 /* Functions that May Modify the Constraint System */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Constraint_System)



int
ppl_new_Constraint_System_const_iterator
PPL_PROTO((ppl_Constraint_System_const_iterator_t* pcit));

int
ppl_new_Constraint_System_const_iterator_from_Constraint_System_const_iterator
PPL_PROTO((ppl_Constraint_System_const_iterator_t* pcit,
           ppl_const_Constraint_System_const_iterator_t cit));

int
ppl_assign_Constraint_System_const_iterator_from_Constraint_System_const_iterator
PPL_PROTO((ppl_Constraint_System_const_iterator_t dst,
           ppl_const_Constraint_System_const_iterator_t src));

int
ppl_delete_Constraint_System_const_iterator
PPL_PROTO((ppl_const_Constraint_System_const_iterator_t cit));
 /* Constructors, Assignment and Destructor */


int
ppl_Constraint_System_const_iterator_dereference
PPL_PROTO((ppl_const_Constraint_System_const_iterator_t cit,
           ppl_const_Constraint_t* pc));

int
ppl_Constraint_System_const_iterator_increment
PPL_PROTO((ppl_Constraint_System_const_iterator_t cit));

int
ppl_Constraint_System_const_iterator_equal_test
PPL_PROTO((ppl_const_Constraint_System_const_iterator_t x,
           ppl_const_Constraint_System_const_iterator_t y));
 /* Dereferencing, Incrementing and Equality Testing */


enum ppl_enum_Generator_Type {
  PPL_GENERATOR_TYPE_LINE,
  PPL_GENERATOR_TYPE_RAY,
  PPL_GENERATOR_TYPE_POINT,
  PPL_GENERATOR_TYPE_CLOSURE_POINT
};


int
ppl_new_Generator PPL_PROTO((ppl_Generator_t* pg,
                             ppl_const_Linear_Expression_t le,
                             enum ppl_enum_Generator_Type t,
                             ppl_const_Coefficient_t d));

int
ppl_new_Generator_zero_dim_point PPL_PROTO((ppl_Generator_t* pg));

int
ppl_new_Generator_zero_dim_closure_point PPL_PROTO((ppl_Generator_t* pg));

int
ppl_new_Generator_from_Generator PPL_PROTO((ppl_Generator_t* pg,
                                            ppl_const_Generator_t g));

int
ppl_assign_Generator_from_Generator PPL_PROTO((ppl_Generator_t dst,
                                               ppl_const_Generator_t src));

int
ppl_delete_Generator PPL_PROTO((ppl_const_Generator_t g));
 /* Constructors, Assignment and Destructor */


int
ppl_Generator_space_dimension PPL_PROTO((ppl_const_Generator_t g,
                                         ppl_dimension_type* m));

int
ppl_Generator_type PPL_PROTO((ppl_const_Generator_t g));

int
ppl_Generator_coefficient PPL_PROTO((ppl_const_Generator_t g,
                                     ppl_dimension_type var,
                                     ppl_Coefficient_t n));

int
ppl_Generator_divisor PPL_PROTO((ppl_const_Generator_t g,
                                 ppl_Coefficient_t n));

int
ppl_Generator_OK PPL_PROTO((ppl_const_Generator_t g));
 /* Functions that Do Not Modify the Generator */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Generator)




int
ppl_new_Generator_System PPL_PROTO((ppl_Generator_System_t* pgs));

/*
  Creates the universe zero-dimensional system of generators (i.e.,
  containing the origin only).  Writes a handle to the new system at
  address \p pgs.
*/
int
ppl_new_Generator_System_zero_dim_univ
PPL_PROTO((ppl_Generator_System_t* pgs));

int
ppl_new_Generator_System_from_Generator PPL_PROTO((ppl_Generator_System_t* pgs,
                                                   ppl_const_Generator_t g));

int
ppl_new_Generator_System_from_Generator_System
PPL_PROTO((ppl_Generator_System_t* pgs, ppl_const_Generator_System_t gs));

int
ppl_assign_Generator_System_from_Generator_System
PPL_PROTO((ppl_Generator_System_t dst, ppl_const_Generator_System_t src));

int
ppl_delete_Generator_System PPL_PROTO((ppl_const_Generator_System_t gs));
 /* Constructors, Assignment and Destructor */


int
ppl_Generator_System_space_dimension
PPL_PROTO((ppl_const_Generator_System_t gs, ppl_dimension_type* m));

int
ppl_Generator_System_empty
PPL_PROTO((ppl_const_Generator_System_t gs));

int
ppl_Generator_System_begin
PPL_PROTO((ppl_const_Generator_System_t gs,
           ppl_Generator_System_const_iterator_t git));

int
ppl_Generator_System_end
PPL_PROTO((ppl_const_Generator_System_t gs,
           ppl_Generator_System_const_iterator_t git));

int
ppl_Generator_System_OK PPL_PROTO((ppl_const_Generator_System_t gs));
 /* Functions that Do Not Modify the Generator System */


int
ppl_Generator_System_clear PPL_PROTO((ppl_Generator_System_t gs));

int
ppl_Generator_System_insert_Generator PPL_PROTO((ppl_Generator_System_t gs,
                                                 ppl_const_Generator_t g));
 /* Functions that May Modify the Generator System */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Generator_System)



int
ppl_new_Generator_System_const_iterator
PPL_PROTO((ppl_Generator_System_const_iterator_t* pgit));

int
ppl_new_Generator_System_const_iterator_from_Generator_System_const_iterator
PPL_PROTO((ppl_Generator_System_const_iterator_t* pgit,
           ppl_const_Generator_System_const_iterator_t git));

int
ppl_assign_Generator_System_const_iterator_from_Generator_System_const_iterator
PPL_PROTO((ppl_Generator_System_const_iterator_t dst,
           ppl_const_Generator_System_const_iterator_t src));

int
ppl_delete_Generator_System_const_iterator
PPL_PROTO((ppl_const_Generator_System_const_iterator_t git));
 /* Constructors, Assignment and Destructor */


int
ppl_Generator_System_const_iterator_dereference
PPL_PROTO((ppl_const_Generator_System_const_iterator_t git,
           ppl_const_Generator_t* pg));

int
ppl_Generator_System_const_iterator_increment
PPL_PROTO((ppl_Generator_System_const_iterator_t git));

int
ppl_Generator_System_const_iterator_equal_test
PPL_PROTO((ppl_const_Generator_System_const_iterator_t x,
           ppl_const_Generator_System_const_iterator_t y));
 /* Dereferencing, Incrementing and Equality Testing */



int
ppl_new_Congruence PPL_PROTO((ppl_Congruence_t* pc,
                              ppl_const_Linear_Expression_t le,
                              ppl_const_Coefficient_t m));

int
ppl_new_Congruence_zero_dim_false PPL_PROTO((ppl_Congruence_t* pc));

int
ppl_new_Congruence_zero_dim_integrality PPL_PROTO((ppl_Congruence_t* pc));

int
ppl_new_Congruence_from_Congruence PPL_PROTO((ppl_Congruence_t* pc,
                                              ppl_const_Congruence_t c));

int
ppl_assign_Congruence_from_Congruence PPL_PROTO((ppl_Congruence_t dst,
                                                 ppl_const_Congruence_t src));

int
ppl_delete_Congruence PPL_PROTO((ppl_const_Congruence_t c));
 /* Constructors, Assignment and Destructor */


int
ppl_Congruence_space_dimension PPL_PROTO((ppl_const_Congruence_t c,
                                          ppl_dimension_type* m));

int
ppl_Congruence_coefficient PPL_PROTO((ppl_const_Congruence_t c,
                                      ppl_dimension_type var,
                                      ppl_Coefficient_t n));

int
ppl_Congruence_inhomogeneous_term PPL_PROTO((ppl_const_Congruence_t c,
                                             ppl_Coefficient_t n));

int
ppl_Congruence_modulus PPL_PROTO((ppl_const_Congruence_t c,
                                  ppl_Coefficient_t m));

int
ppl_Congruence_OK PPL_PROTO((ppl_const_Congruence_t c));
 /* Functions that Do Not Modify the Congruence */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Congruence)



int
ppl_new_Congruence_System PPL_PROTO((ppl_Congruence_System_t* pcs));

int
ppl_new_Congruence_System_zero_dim_empty
PPL_PROTO((ppl_Congruence_System_t* pcs));

int
ppl_new_Congruence_System_from_Congruence
PPL_PROTO((ppl_Congruence_System_t* pcs, ppl_const_Congruence_t c));

int
ppl_new_Congruence_System_from_Congruence_System
PPL_PROTO((ppl_Congruence_System_t* pcs, ppl_const_Congruence_System_t cs));

int
ppl_assign_Congruence_System_from_Congruence_System
PPL_PROTO((ppl_Congruence_System_t dst, ppl_const_Congruence_System_t src));

int
ppl_delete_Congruence_System PPL_PROTO((ppl_const_Congruence_System_t cs));
 /* Constructors, Assignment and Destructor */


int
ppl_Congruence_System_space_dimension
PPL_PROTO((ppl_const_Congruence_System_t cs, ppl_dimension_type* m));

int
ppl_Congruence_System_empty
PPL_PROTO((ppl_const_Congruence_System_t cs));

int
ppl_Congruence_System_begin
PPL_PROTO((ppl_const_Congruence_System_t cs,
           ppl_Congruence_System_const_iterator_t cit));

int
ppl_Congruence_System_end
PPL_PROTO((ppl_const_Congruence_System_t cs,
           ppl_Congruence_System_const_iterator_t cit));

int
ppl_Congruence_System_OK PPL_PROTO((ppl_const_Congruence_System_t cs));
 /* Functions that Do Not Modify the Congruence System */


int
ppl_Congruence_System_clear PPL_PROTO((ppl_Congruence_System_t cs));

int
ppl_Congruence_System_insert_Congruence PPL_PROTO((ppl_Congruence_System_t cs,
                                                   ppl_const_Congruence_t c));
 /* Functions that May Modify the Congruence System */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Congruence_System)



int
ppl_new_Congruence_System_const_iterator
PPL_PROTO((ppl_Congruence_System_const_iterator_t* pcit));

int
ppl_new_Congruence_System_const_iterator_from_Congruence_System_const_iterator
PPL_PROTO((ppl_Congruence_System_const_iterator_t* pcit,
           ppl_const_Congruence_System_const_iterator_t cit));

int
ppl_assign_Congruence_System_const_iterator_from_Congruence_System_const_iterator
PPL_PROTO((ppl_Congruence_System_const_iterator_t dst,
           ppl_const_Congruence_System_const_iterator_t src));

int
ppl_delete_Congruence_System_const_iterator
PPL_PROTO((ppl_const_Congruence_System_const_iterator_t cit));
 /* Constructors, Assignment and Destructor */


int
ppl_Congruence_System_const_iterator_dereference
PPL_PROTO((ppl_const_Congruence_System_const_iterator_t cit,
           ppl_const_Congruence_t* pc));

int
ppl_Congruence_System_const_iterator_increment
PPL_PROTO((ppl_Congruence_System_const_iterator_t cit));

int
ppl_Congruence_System_const_iterator_equal_test
PPL_PROTO((ppl_const_Congruence_System_const_iterator_t x,
           ppl_const_Congruence_System_const_iterator_t y));
 /* Dereferencing, Incrementing and Equality Testing */


enum ppl_enum_Grid_Generator_Type {
  PPL_GRID_GENERATOR_TYPE_LINE,
  PPL_GRID_GENERATOR_TYPE_PARAMETER,
  PPL_GRID_GENERATOR_TYPE_POINT
};


int
ppl_new_Grid_Generator PPL_PROTO((ppl_Grid_Generator_t* pg,
                                  ppl_const_Linear_Expression_t le,
                                  enum ppl_enum_Grid_Generator_Type t,
                                  ppl_const_Coefficient_t d));

int
ppl_new_Grid_Generator_zero_dim_point PPL_PROTO((ppl_Grid_Generator_t* pg));

int
ppl_new_Grid_Generator_from_Grid_Generator
PPL_PROTO((ppl_Grid_Generator_t* pg, ppl_const_Grid_Generator_t g));

int
ppl_assign_Grid_Generator_from_Grid_Generator
PPL_PROTO((ppl_Grid_Generator_t dst,
           ppl_const_Grid_Generator_t src));

int
ppl_delete_Grid_Generator PPL_PROTO((ppl_const_Grid_Generator_t g));
 /* Constructors, Assignment and Destructor */


int
ppl_Grid_Generator_space_dimension PPL_PROTO((ppl_const_Grid_Generator_t g,
                                              ppl_dimension_type* m));

int
ppl_Grid_Generator_type PPL_PROTO((ppl_const_Grid_Generator_t g));

int
ppl_Grid_Generator_coefficient PPL_PROTO((ppl_const_Grid_Generator_t g,
                                          ppl_dimension_type var,
                                          ppl_Coefficient_t n));

int
ppl_Grid_Generator_divisor PPL_PROTO((ppl_const_Grid_Generator_t g,
                                      ppl_Coefficient_t n));

int
ppl_Grid_Generator_OK PPL_PROTO((ppl_const_Grid_Generator_t g));
 /* Functions that Do Not Modify the Generator */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Grid_Generator)




int
ppl_new_Grid_Generator_System PPL_PROTO((ppl_Grid_Generator_System_t* pgs));

/*
  Creates the universe zero-dimensional system of grid generators (i.e.,
  containing the origin only).  Writes a handle to the new system at
  address \p pgs.
*/
int
ppl_new_Grid_Generator_System_zero_dim_univ
PPL_PROTO((ppl_Grid_Generator_System_t* pgs));

int
ppl_new_Grid_Generator_System_from_Grid_Generator
PPL_PROTO((ppl_Grid_Generator_System_t* pgs,
           ppl_const_Grid_Generator_t g));

int
ppl_new_Grid_Generator_System_from_Grid_Generator_System
PPL_PROTO((ppl_Grid_Generator_System_t* pgs,
           ppl_const_Grid_Generator_System_t gs));

int
ppl_assign_Grid_Generator_System_from_Grid_Generator_System
PPL_PROTO((ppl_Grid_Generator_System_t dst,
           ppl_const_Grid_Generator_System_t src));

int
ppl_delete_Grid_Generator_System
PPL_PROTO((ppl_const_Grid_Generator_System_t gs));
 /* Constructors, Assignment and Destructor */


int
ppl_Grid_Generator_System_space_dimension
PPL_PROTO((ppl_const_Grid_Generator_System_t gs, ppl_dimension_type* m));

int
ppl_Grid_Generator_System_empty
PPL_PROTO((ppl_const_Grid_Generator_System_t gs));

int
ppl_Grid_Generator_System_begin
PPL_PROTO((ppl_const_Grid_Generator_System_t gs,
           ppl_Grid_Generator_System_const_iterator_t git));

int
ppl_Grid_Generator_System_end
PPL_PROTO((ppl_const_Grid_Generator_System_t gs,
           ppl_Grid_Generator_System_const_iterator_t git));

int
ppl_Grid_Generator_System_OK PPL_PROTO((ppl_const_Grid_Generator_System_t gs));
 /* Functions that Do Not Modify the Grid Generator System */


int
ppl_Grid_Generator_System_clear PPL_PROTO((ppl_Grid_Generator_System_t gs));

int
ppl_Grid_Generator_System_insert_Grid_Generator
PPL_PROTO((ppl_Grid_Generator_System_t gs,
           ppl_const_Grid_Generator_t g));
 /* Functions that May Modify the Grid Generator System */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Grid_Generator_System)



int
ppl_new_Grid_Generator_System_const_iterator
PPL_PROTO((ppl_Grid_Generator_System_const_iterator_t* pgit));

int
ppl_new_Grid_Generator_System_const_iterator_from_Grid_Generator_System_const_iterator
PPL_PROTO((ppl_Grid_Generator_System_const_iterator_t* pgit,
           ppl_const_Grid_Generator_System_const_iterator_t git));

int
ppl_assign_Grid_Generator_System_const_iterator_from_Grid_Generator_System_const_iterator
PPL_PROTO((ppl_Grid_Generator_System_const_iterator_t dst,
           ppl_const_Grid_Generator_System_const_iterator_t src));

int
ppl_delete_Grid_Generator_System_const_iterator
PPL_PROTO((ppl_const_Grid_Generator_System_const_iterator_t git));
 /* Constructors, Assignment and Destructor */


int
ppl_Grid_Generator_System_const_iterator_dereference
PPL_PROTO((ppl_const_Grid_Generator_System_const_iterator_t git,
           ppl_const_Grid_Generator_t* pg));

int
ppl_Grid_Generator_System_const_iterator_increment
PPL_PROTO((ppl_Grid_Generator_System_const_iterator_t git));

int
ppl_Grid_Generator_System_const_iterator_equal_test
PPL_PROTO((ppl_const_Grid_Generator_System_const_iterator_t x,
           ppl_const_Grid_Generator_System_const_iterator_t y));
 /* Dereferencing, Incrementing and Equality Testing */


extern unsigned int PPL_COMPLEXITY_CLASS_POLYNOMIAL;

extern unsigned int PPL_COMPLEXITY_CLASS_SIMPLEX;

extern unsigned int PPL_COMPLEXITY_CLASS_ANY;

extern unsigned int PPL_POLY_CON_RELATION_IS_DISJOINT;

extern unsigned int PPL_POLY_CON_RELATION_STRICTLY_INTERSECTS;

extern unsigned int PPL_POLY_CON_RELATION_IS_INCLUDED;

extern unsigned int PPL_POLY_CON_RELATION_SATURATES;

extern unsigned int PPL_POLY_GEN_RELATION_SUBSUMES;


enum ppl_enum_Bounded_Integer_Type_Width {
  PPL_BITS_8 = 8,
  PPL_BITS_16 = 16,
  PPL_BITS_32 = 32,
  PPL_BITS_64 = 64,
  PPL_BITS_128 = 128
};

enum ppl_enum_Bounded_Integer_Type_Representation {
  PPL_UNSIGNED,
  PPL_SIGNED_2_COMPLEMENT
};

enum ppl_enum_Bounded_Integer_Type_Overflow {
  PPL_OVERFLOW_WRAPS,

  PPL_OVERFLOW_UNDEFINED,

  PPL_OVERFLOW_IMPOSSIBLE
};


extern int PPL_OPTIMIZATION_MODE_MAXIMIZATION;

extern int PPL_OPTIMIZATION_MODE_MINIMIZATION;

extern int PPL_MIP_PROBLEM_STATUS_UNFEASIBLE;

extern int PPL_MIP_PROBLEM_STATUS_UNBOUNDED;

extern int PPL_MIP_PROBLEM_STATUS_OPTIMIZED;

extern int PPL_MIP_PROBLEM_CONTROL_PARAMETER_NAME_PRICING;

extern int PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_TEXTBOOK;

extern int PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_STEEPEST_EDGE_EXACT;

extern int PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_STEEPEST_EDGE_FLOAT;



extern int PPL_PIP_PROBLEM_STATUS_UNFEASIBLE;

extern int PPL_PIP_PROBLEM_STATUS_OPTIMIZED;

extern int PPL_PIP_PROBLEM_CONTROL_PARAMETER_NAME_CUTTING_STRATEGY;

extern int PPL_PIP_PROBLEM_CONTROL_PARAMETER_NAME_PIVOT_ROW_STRATEGY;

extern int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_FIRST;

extern int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_DEEPEST;

extern int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_ALL;

extern int PPL_PIP_PROBLEM_CONTROL_PARAMETER_PIVOT_ROW_STRATEGY_FIRST;

extern int PPL_PIP_PROBLEM_CONTROL_PARAMETER_PIVOT_ROW_STRATEGY_MAX_COLUMN;
 /* Symbolic Constants */


int
ppl_new_MIP_Problem_from_space_dimension PPL_PROTO((ppl_MIP_Problem_t* pmip,
                                                    ppl_dimension_type d));

int
ppl_new_MIP_Problem PPL_PROTO((ppl_MIP_Problem_t* pmip,
                               ppl_dimension_type d,
                               ppl_const_Constraint_System_t cs,
                               ppl_const_Linear_Expression_t le,
                               int m));

int
ppl_new_MIP_Problem_from_MIP_Problem
PPL_PROTO((ppl_MIP_Problem_t* pmip, ppl_const_MIP_Problem_t mip));

int
ppl_assign_MIP_Problem_from_MIP_Problem
PPL_PROTO((ppl_MIP_Problem_t dst, ppl_const_MIP_Problem_t src));

int
ppl_delete_MIP_Problem PPL_PROTO((ppl_const_MIP_Problem_t mip));
 /* Constructors, Assignment and Destructor for MIP_Problem */


int
ppl_MIP_Problem_space_dimension
PPL_PROTO((ppl_const_MIP_Problem_t mip, ppl_dimension_type* m));

int
ppl_MIP_Problem_number_of_integer_space_dimensions
PPL_PROTO((ppl_const_MIP_Problem_t mip, ppl_dimension_type* m));

int
ppl_MIP_Problem_integer_space_dimensions
PPL_PROTO((ppl_const_MIP_Problem_t mip, ppl_dimension_type ds[]));

int
ppl_MIP_Problem_number_of_constraints PPL_PROTO((ppl_const_MIP_Problem_t mip,
                                                 ppl_dimension_type* m));

int
ppl_MIP_Problem_constraint_at_index PPL_PROTO((ppl_const_MIP_Problem_t mip,
                                               ppl_dimension_type i,
                                               ppl_const_Constraint_t* pc));

int
ppl_MIP_Problem_objective_function
PPL_PROTO((ppl_const_MIP_Problem_t mip, ppl_const_Linear_Expression_t* ple));

int
ppl_MIP_Problem_optimization_mode PPL_PROTO((ppl_const_MIP_Problem_t mip));

int
ppl_MIP_Problem_OK PPL_PROTO((ppl_const_MIP_Problem_t mip));
 /* Functions that Do Not Modify the MIP_Problem */


int
ppl_MIP_Problem_clear PPL_PROTO((ppl_MIP_Problem_t mip));

int
ppl_MIP_Problem_add_space_dimensions_and_embed
PPL_PROTO((ppl_MIP_Problem_t mip, ppl_dimension_type d));

int
ppl_MIP_Problem_add_to_integer_space_dimensions
PPL_PROTO((ppl_MIP_Problem_t mip, ppl_dimension_type ds[], size_t n));

int
ppl_MIP_Problem_add_constraint PPL_PROTO((ppl_MIP_Problem_t mip,
                                          ppl_const_Constraint_t c));

int
ppl_MIP_Problem_add_constraints PPL_PROTO((ppl_MIP_Problem_t mip,
                                           ppl_const_Constraint_System_t cs));

int
ppl_MIP_Problem_set_objective_function
PPL_PROTO((ppl_MIP_Problem_t mip, ppl_const_Linear_Expression_t le));

int
ppl_MIP_Problem_set_optimization_mode PPL_PROTO((ppl_MIP_Problem_t mip,
                                                 int mode));
 /* Functions that May Modify the MIP_Problem */


int
ppl_MIP_Problem_is_satisfiable PPL_PROTO((ppl_const_MIP_Problem_t mip));

int
ppl_MIP_Problem_solve PPL_PROTO((ppl_const_MIP_Problem_t mip));

int
ppl_MIP_Problem_evaluate_objective_function
PPL_PROTO((ppl_const_MIP_Problem_t mip, ppl_const_Generator_t g,
           ppl_Coefficient_t num, ppl_Coefficient_t den));

int
ppl_MIP_Problem_feasible_point PPL_PROTO((ppl_const_MIP_Problem_t mip,
                                          ppl_const_Generator_t* pg));

int
ppl_MIP_Problem_optimizing_point PPL_PROTO((ppl_const_MIP_Problem_t mip,
                                            ppl_const_Generator_t* pg));

int
ppl_MIP_Problem_optimal_value
PPL_PROTO((ppl_const_MIP_Problem_t mip,
           ppl_Coefficient_t num, ppl_Coefficient_t den));
 /* Computing the Solution of the MIP_Problem */


int
ppl_MIP_Problem_get_control_parameter
PPL_PROTO((ppl_const_MIP_Problem_t mip, int name));

int
ppl_MIP_Problem_set_control_parameter
PPL_PROTO((ppl_MIP_Problem_t mip, int value));

int
ppl_MIP_Problem_total_memory_in_bytes
PPL_PROTO((ppl_const_MIP_Problem_t mip, size_t* sz));

int
ppl_MIP_Problem_external_memory_in_bytes
PPL_PROTO((ppl_const_MIP_Problem_t mip, size_t* sz));
 /* Querying/Setting Control Parameters */



int
ppl_new_PIP_Problem_from_space_dimension PPL_PROTO((ppl_PIP_Problem_t* ppip,
                                                    ppl_dimension_type d));

int
ppl_new_PIP_Problem_from_PIP_Problem
PPL_PROTO((ppl_PIP_Problem_t* ppip, ppl_const_PIP_Problem_t pip));

int
ppl_assign_PIP_Problem_from_PIP_Problem
PPL_PROTO((ppl_PIP_Problem_t dst, ppl_const_PIP_Problem_t src));

int
ppl_new_PIP_Problem_from_constraints
PPL_PROTO((ppl_PIP_Problem_t* ppip,
           ppl_dimension_type d,
           ppl_Constraint_System_const_iterator_t first,
           ppl_Constraint_System_const_iterator_t last,
           size_t n,
           ppl_dimension_type ds[]));

int
ppl_delete_PIP_Problem PPL_PROTO((ppl_const_PIP_Problem_t pip));
 /* Constructors, Assignment and Destructor for PIP_Problem */


int
ppl_PIP_Problem_space_dimension
PPL_PROTO((ppl_const_PIP_Problem_t pip, ppl_dimension_type* m));

int
ppl_PIP_Problem_number_of_parameter_space_dimensions
PPL_PROTO((ppl_const_PIP_Problem_t pip, ppl_dimension_type* m));

int
ppl_PIP_Problem_parameter_space_dimensions
PPL_PROTO((ppl_const_PIP_Problem_t pip, ppl_dimension_type ds[]));

int
ppl_PIP_Problem_get_big_parameter_dimension
PPL_PROTO((ppl_const_PIP_Problem_t pip, ppl_dimension_type* pd));

int
ppl_PIP_Problem_number_of_constraints PPL_PROTO((ppl_const_PIP_Problem_t pip,
                                                 ppl_dimension_type* m));

int
ppl_PIP_Problem_constraint_at_index PPL_PROTO((ppl_const_PIP_Problem_t pip,
                                               ppl_dimension_type i,
                                               ppl_const_Constraint_t* pc));

int
ppl_PIP_Problem_total_memory_in_bytes
PPL_PROTO((ppl_const_PIP_Problem_t pip, size_t* sz));

int
ppl_PIP_Problem_external_memory_in_bytes
PPL_PROTO((ppl_const_PIP_Problem_t pip, size_t* sz));

int
ppl_PIP_Problem_OK PPL_PROTO((ppl_const_PIP_Problem_t pip));
 /* Functions that Do Not Modify the PIP_Problem */


int
ppl_PIP_Problem_clear PPL_PROTO((ppl_PIP_Problem_t pip));

int
ppl_PIP_Problem_add_space_dimensions_and_embed
PPL_PROTO((ppl_PIP_Problem_t pip,
           ppl_dimension_type pip_vars,
           ppl_dimension_type pip_params));

int
ppl_PIP_Problem_add_to_parameter_space_dimensions
PPL_PROTO((ppl_PIP_Problem_t pip, ppl_dimension_type ds[], size_t n));

int
ppl_PIP_Problem_set_big_parameter_dimension
PPL_PROTO((ppl_PIP_Problem_t pip, ppl_dimension_type d));

int
ppl_PIP_Problem_add_constraint PPL_PROTO((ppl_PIP_Problem_t pip,
                                          ppl_const_Constraint_t c));

int
ppl_PIP_Problem_add_constraints PPL_PROTO((ppl_PIP_Problem_t pip,
                                           ppl_const_Constraint_System_t cs));
 /* Functions that May Modify the PIP_Problem */


int
ppl_PIP_Problem_is_satisfiable PPL_PROTO((ppl_const_PIP_Problem_t pip));

int
ppl_PIP_Problem_solve PPL_PROTO((ppl_const_PIP_Problem_t pip));

int
ppl_PIP_Problem_solution PPL_PROTO((ppl_const_PIP_Problem_t pip,
                                    ppl_const_PIP_Tree_Node_t* pip_tree));

int
ppl_PIP_Problem_optimizing_solution
PPL_PROTO((ppl_const_PIP_Problem_t pip,
           ppl_const_PIP_Tree_Node_t* pip_tree));
 /* Computing the Solution of the PIP_Problem */


int
ppl_PIP_Problem_get_control_parameter
PPL_PROTO((ppl_const_PIP_Problem_t pip, int name));

int
ppl_PIP_Problem_set_control_parameter
PPL_PROTO((ppl_PIP_Problem_t pip, int value));
 /* Querying/Setting Control Parameters */


int
ppl_PIP_Tree_Node_as_solution
PPL_PROTO((ppl_const_PIP_Tree_Node_t spip_tree,
           ppl_const_PIP_Solution_Node_t* dpip_tree));

int
ppl_PIP_Tree_Node_as_decision
PPL_PROTO((ppl_const_PIP_Tree_Node_t spip_tree,
           ppl_const_PIP_Decision_Node_t* dpip_tree));

int
ppl_PIP_Tree_Node_get_constraints
PPL_PROTO((ppl_const_PIP_Tree_Node_t pip_tree,
           ppl_const_Constraint_System_t* pcs));

int
ppl_PIP_Tree_Node_OK PPL_PROTO((ppl_const_PIP_Tree_Node_t pip));

int
ppl_PIP_Tree_Node_number_of_artificials
PPL_PROTO((ppl_const_PIP_Tree_Node_t pip_tree,
           ppl_dimension_type* m));

int
ppl_PIP_Tree_Node_begin
PPL_PROTO((ppl_const_PIP_Tree_Node_t pip_tree,
           ppl_Artificial_Parameter_Sequence_const_iterator_t pit));

int
ppl_PIP_Tree_Node_end
PPL_PROTO((ppl_const_PIP_Tree_Node_t pip_tree,
           ppl_Artificial_Parameter_Sequence_const_iterator_t pit));

int
ppl_PIP_Solution_Node_get_parametric_values
PPL_PROTO((ppl_const_PIP_Solution_Node_t pip_sol,
           ppl_dimension_type var,
           ppl_const_Linear_Expression_t* le));

int
ppl_PIP_Decision_Node_get_child_node
PPL_PROTO((ppl_const_PIP_Decision_Node_t pip_dec,
           int b,
           ppl_const_PIP_Tree_Node_t* pip_tree));

int
ppl_Artificial_Parameter_get_Linear_Expression
PPL_PROTO((ppl_const_Artificial_Parameter_t ap,
           ppl_Linear_Expression_t le));

int
ppl_Artificial_Parameter_coefficient
PPL_PROTO((ppl_const_Artificial_Parameter_t ap,
           ppl_dimension_type var,
           ppl_Coefficient_t n));

int
ppl_Artificial_Parameter_get_inhomogeneous_term
PPL_PROTO((ppl_const_Artificial_Parameter_t ap,
           ppl_Coefficient_t n));

int
ppl_Artificial_Parameter_denominator
PPL_PROTO((ppl_const_Artificial_Parameter_t ap,
           ppl_Coefficient_t n));


int
ppl_new_Artificial_Parameter_Sequence_const_iterator
PPL_PROTO((ppl_Artificial_Parameter_Sequence_const_iterator_t* papit));

int
ppl_new_Artificial_Parameter_Sequence_const_iterator_from_Artificial_Parameter_Sequence_const_iterator
PPL_PROTO((ppl_Artificial_Parameter_Sequence_const_iterator_t* papit,
           ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit));

int
ppl_assign_Artificial_Parameter_Sequence_const_iterator_from_Artificial_Parameter_Sequence_const_iterator
PPL_PROTO((ppl_Artificial_Parameter_Sequence_const_iterator_t dst,
           ppl_const_Artificial_Parameter_Sequence_const_iterator_t src));

int
ppl_delete_Artificial_Parameter_Sequence_const_iterator
PPL_PROTO((ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit));
 /* Constructors, Assignment and Destructor */


int
ppl_Artificial_Parameter_Sequence_const_iterator_dereference
PPL_PROTO((ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit,
           ppl_const_Artificial_Parameter_t* pap));

int
ppl_Artificial_Parameter_Sequence_const_iterator_increment
PPL_PROTO((ppl_Artificial_Parameter_Sequence_const_iterator_t apit));

int
ppl_Artificial_Parameter_Sequence_const_iterator_equal_test
PPL_PROTO((ppl_const_Artificial_Parameter_Sequence_const_iterator_t x,
           ppl_const_Artificial_Parameter_Sequence_const_iterator_t y));
 /* Dereferencing, Incrementing and Equality Testing */

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(MIP_Problem)

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(PIP_Problem)

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(PIP_Tree_Node)

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(PIP_Solution_Node)

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(PIP_Decision_Node)

PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS(Artificial_Parameter)

#include "ppl_c_domains.h"

#ifdef __cplusplus
} /* extern "C" */
#endif

#undef PPL_TYPE_DECLARATION
#undef PPL_PROTO
#undef PPL_DECLARE_PRINT_FUNCTIONS
#undef PPL_DECLARE_ASCII_DUMP_LOAD_FUNCTIONS
#undef PPL_DECLARE_IO_FUNCTIONS
#undef PPL_DECLARE_AND_DOCUMENT_PRINT_FUNCTIONS
#undef PPL_DECLARE_AND_DOCUMENT_ASCII_DUMP_LOAD_FUNCTIONS
#undef PPL_DECLARE_AND_DOCUMENT_IO_FUNCTIONS

#endif /* !defined(PPL_ppl_c_h) */