ppl_ciao.cc File Reference

#include "ppl.hh"
#include "pwl.hh"
#include <ciao_prolog.h>
#include <cassert>
#include <sstream>
#include "../exceptions.hh"
#include "../ppl_prolog.icc"

Include dependency graph for ppl_ciao.cc:

Go to the source code of this file.

Typedefs

typedef ciao_term Prolog_term_ref
typedef const char * Prolog_atom
typedef ciao_bool Prolog_foreign_return_type

Functions

void ppl_Prolog_sysdep_init ()
void ppl_Prolog_sysdep_deinit ()
Prolog_term_ref Prolog_new_term_ref ()
int Prolog_put_term (Prolog_term_ref &t, Prolog_term_ref u)
int Prolog_put_long (Prolog_term_ref &t, long l)
int Prolog_put_ulong (Prolog_term_ref &t, unsigned long ul)
int Prolog_put_atom_chars (Prolog_term_ref &t, const char *s)
int Prolog_put_atom (Prolog_term_ref &t, Prolog_atom a)
int Prolog_put_address (Prolog_term_ref &t, void *p)
Prolog_atom Prolog_atom_from_string (const char *s)
int Prolog_construct_compound (Prolog_term_ref &t, Prolog_atom f, Prolog_term_ref a1)
int Prolog_construct_compound (Prolog_term_ref &t, Prolog_atom f, Prolog_term_ref a1, Prolog_term_ref a2)
int Prolog_construct_compound (Prolog_term_ref &t, Prolog_atom f, Prolog_term_ref a1, Prolog_term_ref a2, Prolog_term_ref a3)
int Prolog_construct_compound (Prolog_term_ref &t, Prolog_atom f, Prolog_term_ref a1, Prolog_term_ref a2, Prolog_term_ref a3, Prolog_term_ref a4)
int Prolog_construct_cons (Prolog_term_ref &c, Prolog_term_ref h, Prolog_term_ref t)
void Prolog_raise_exception (Prolog_term_ref t)
int Prolog_is_variable (Prolog_term_ref t)
int Prolog_is_atom (Prolog_term_ref t)
int Prolog_is_integer (Prolog_term_ref t)
int Prolog_is_address (Prolog_term_ref t)
int Prolog_is_compound (Prolog_term_ref t)
int Prolog_is_cons (Prolog_term_ref t)
int Prolog_get_long (Prolog_term_ref t, long *lp)
int Prolog_get_address (Prolog_term_ref t, void **vpp)
int Prolog_get_atom_name (Prolog_term_ref t, Prolog_atom *ap)
int Prolog_get_compound_name_arity (Prolog_term_ref t, Prolog_atom *ap, int *ip)
int Prolog_get_arg (int i, Prolog_term_ref t, Prolog_term_ref &a)
int Prolog_get_cons (Prolog_term_ref c, Prolog_term_ref &h, Prolog_term_ref &t)
int Prolog_unify (Prolog_term_ref t, Prolog_term_ref u)
PPL::Coefficient integer_term_to_Coefficient (Prolog_term_ref t)
Prolog_term_ref Coefficient_to_integer_term (const PPL::Coefficient &n)
void init ()

Variables

const Prolog_foreign_return_type PROLOG_SUCCESS = 1
const Prolog_foreign_return_type PROLOG_FAILURE = 0
bool Prolog_has_unbounded_integers
long Prolog_min_integer
long Prolog_max_integer
Prolog_term_ref args [4]


Typedef Documentation

typedef const char* Prolog_atom

Definition at line 30 of file ppl_ciao.cc.

typedef ciao_bool Prolog_foreign_return_type

Definition at line 31 of file ppl_ciao.cc.

typedef ciao_term Prolog_term_ref

Definition at line 29 of file ppl_ciao.cc.


Function Documentation

Prolog_term_ref @199::Coefficient_to_integer_term ( const PPL::Coefficient &  n  )  [static]

Definition at line 393 of file ppl_ciao.cc.

References Parma_Polyhedra_Library::assign_r().

Referenced by constraint_term(), extended_rational_term(), generator_term(), get_linear_expression(), ppl_Coefficient_max(), ppl_Coefficient_min(), ppl_LP_Problem_evaluate_objective_function(), ppl_LP_Problem_optimal_value(), ppl_Polyhedron_maximize(), ppl_Polyhedron_maximize_with_point(), ppl_Polyhedron_minimize(), and ppl_Polyhedron_minimize_with_point().

00393                                                      {
00394   int i = 0;
00395   if (PPL::assign_r(i, n, PPL::ROUND_NOT_NEEDED) == PPL::V_EQ)
00396     return ciao_integer(i);
00397   else {
00398     std::ostringstream s;
00399     s << n;
00400     // TODO: remove the const_cast when the Ciao people fix ciao_prolog.h.
00401     return ciao_put_number_chars(const_cast<char*>(s.str().c_str()));
00402   }
00403 }

void init (  ) 

Definition at line 410 of file ppl_ciao.cc.

References ppl_initialize().

00410        {
00411   ppl_initialize();
00412 }

PPL::Coefficient @199::integer_term_to_Coefficient ( Prolog_term_ref  t  )  [static]

Definition at line 379 of file ppl_ciao.cc.

Referenced by build_constraint(), build_generator(), build_linear_expression(), term_to_boundary(), term_to_Coefficient(), and term_to_unsigned().

00379                                                {
00380   assert(ciao_is_integer(t));
00381   if (ciao_fits_in_int(t))
00382     return PPL::Coefficient(ciao_to_integer(t));
00383   else {
00384     char* s;
00385     s = ciao_get_number_chars(t);
00386     PPL::Coefficient n(s);
00387     ciao_free(s);
00388     return n;
00389   }
00390 }

void @199::ppl_Prolog_sysdep_deinit (  )  [static]

Perform system-dependent de-itialization.

Definition at line 79 of file ppl_ciao.cc.

Referenced by ppl_finalize().

00079                            {
00080 }

void @199::ppl_Prolog_sysdep_init (  )  [static]

Performs system-dependent initialization.

Definition at line 69 of file ppl_ciao.cc.

References Prolog_has_unbounded_integers, Prolog_max_integer, and Prolog_min_integer.

Referenced by ppl_initialize().

00069                          {
00070   Prolog_has_unbounded_integers = true;
00071   Prolog_min_integer = 0;
00072   Prolog_max_integer = 0;
00073 }

Prolog_atom @199::Prolog_atom_from_string ( const char *  s  )  [static]

Return an atom whose name is given by the null-terminated string s.

Definition at line 157 of file ppl_ciao.cc.

Referenced by handle_exception(), ppl_initialize(), and Prolog_atom_term_from_string().

00157                                        {
00158   return ciao_atom_name(ciao_atom(s));
00159 }

int @199::Prolog_construct_compound ( Prolog_term_ref t,
Prolog_atom  f,
Prolog_term_ref  a1,
Prolog_term_ref  a2,
Prolog_term_ref  a3,
Prolog_term_ref  a4 
) [inline, static]

Assign to t a compound term whose principal functor is f of arity 4 with arguments a1, a2, a3 and a4.

Definition at line 208 of file ppl_ciao.cc.

References args.

00210                                                                   {
00211   args[0] = a1;
00212   args[1] = a2;
00213   args[2] = a3;
00214   args[3] = a4;
00215   t = ciao_structure_a(f, 4, args);
00216   return 1;
00217 }

int @199::Prolog_construct_compound ( Prolog_term_ref t,
Prolog_atom  f,
Prolog_term_ref  a1,
Prolog_term_ref  a2,
Prolog_term_ref  a3 
) [inline, static]

Assign to t a compound term whose principal functor is f of arity 3 with arguments a1, a2 and a3.

Definition at line 193 of file ppl_ciao.cc.

References args.

00195                                               {
00196   args[0] = a1;
00197   args[1] = a2;
00198   args[2] = a3;
00199   t = ciao_structure_a(f, 3, args);
00200   return 1;
00201 }

int @199::Prolog_construct_compound ( Prolog_term_ref t,
Prolog_atom  f,
Prolog_term_ref  a1,
Prolog_term_ref  a2 
) [inline, static]

Assign to t a compound term whose principal functor is f of arity 2 with arguments a1 and a2.

Definition at line 180 of file ppl_ciao.cc.

References args.

00181                                                                   {
00182   args[0] = a1;
00183   args[1] = a2;
00184   t = ciao_structure_a(f, 2, args);
00185   return 1;
00186 }

int @199::Prolog_construct_compound ( Prolog_term_ref t,
Prolog_atom  f,
Prolog_term_ref  a1 
) [inline, static]

Assign to t a compound term whose principal functor is f of arity 1 with argument a1.

Definition at line 168 of file ppl_ciao.cc.

References args.

Referenced by constraint_term(), extended_rational_term(), generator_term(), get_linear_expression(), handle_exception(), interval_term(), ppl_set_timeout_exception_atom(), Prolog_put_address(), and variable_term().

00169                                               {
00170   args[0] = a1;
00171   t = ciao_structure_a(f, 1, args);
00172   return 1;
00173 }

int @199::Prolog_construct_cons ( Prolog_term_ref c,
Prolog_term_ref  h,
Prolog_term_ref  t 
) [inline, static]

int @199::Prolog_get_address ( Prolog_term_ref  t,
void **  vpp 
) [inline, static]

If t is the Prolog representation for a memory address, return true and store that address into v; return false otherwise. The behavior is undefined if t is not an address.

Definition at line 313 of file ppl_ciao.cc.

References Prolog_is_address().

Referenced by term_to_lp_problem_handle(), and term_to_polyhedron_handle().

00313                                                   {
00314   assert(Prolog_is_address(t));
00315   *vpp = ciao_address_to_pointer(ciao_implicit_state, t);
00316   return 1;
00317 }

int @199::Prolog_get_arg ( int  i,
Prolog_term_ref  t,
Prolog_term_ref a 
) [inline, static]

If t is a Prolog compound term and i is a positive integer less than or equal to its arity, return true and assign to a the i-th (principal) argument of t. The behavior is undefined if t is not a Prolog compound term.

Definition at line 350 of file ppl_ciao.cc.

References Prolog_is_compound().

Referenced by build_constraint(), build_generator(), build_linear_expression(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_Polyhedron_map_space_dimensions(), term_to_boundary(), and term_to_Variable().

00350                                                              {
00351   assert(Prolog_is_compound(t));
00352   a = ciao_structure_arg(t, i);
00353   return 1;
00354 }

int @199::Prolog_get_atom_name ( Prolog_term_ref  t,
Prolog_atom ap 
) [inline, static]

If t is a Prolog atom, return true and store its name into name. The behavior is undefined if t is not a Prolog atom.

Definition at line 324 of file ppl_ciao.cc.

References Prolog_is_atom().

Referenced by check_nil_terminating(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_set_timeout_exception_atom(), term_to_boundary(), term_to_complexity_class(), term_to_optimization_mode(), term_to_relation(), and term_to_universe_or_empty().

00324                                                          {
00325   assert(Prolog_is_atom(t));
00326   *ap = ciao_atom_name(t);
00327   return 1;
00328 }

int @199::Prolog_get_compound_name_arity ( Prolog_term_ref  t,
Prolog_atom ap,
int *  ip 
) [inline, static]

If t is a Prolog compound term, return true and store its name and arity into name and arity, respectively. The behavior is undefined if t is not a Prolog compound term.

Definition at line 336 of file ppl_ciao.cc.

References Prolog_is_compound().

Referenced by build_constraint(), build_generator(), build_linear_expression(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_Polyhedron_map_space_dimensions(), term_to_boundary(), and term_to_Variable().

00336                                                                             {
00337   assert(Prolog_is_compound(t));
00338   *ap = ciao_structure_name(t);
00339   *ip = ciao_structure_arity(t);
00340   return 1;
00341 }

int @199::Prolog_get_cons ( Prolog_term_ref  c,
Prolog_term_ref h,
Prolog_term_ref t 
) [inline, static]

int @199::Prolog_get_long ( Prolog_term_ref  t,
long *  lp 
) [inline, static]

Assuming t is a Prolog integer, return true if its value fits in a long, in which case the value is assigned to v, return false otherwise. The behavior is undefined if t is not a Prolog integer.

Definition at line 292 of file ppl_ciao.cc.

References Parma_Polyhedra_Library::assign_r().

Referenced by integer_term_to_Coefficient(), Prolog_is_address(), and term_to_unsigned().

00292                                              {
00293   assert(ciao_is_integer(t));
00294   if (ciao_fits_in_int(t)) {
00295     *lp = ciao_to_integer(t);
00296     return 1;
00297   }
00298   else {
00299     char* s = ciao_get_number_chars(t);
00300     mpz_class n(s);
00301     ciao_free(s);
00302     PPL::Result r = PPL::assign_r(*lp, n, PPL::ROUND_NOT_NEEDED);
00303     return r == PPL::V_EQ ? 1 : 0;
00304   }
00305 }

int @199::Prolog_is_address ( Prolog_term_ref  t  )  [inline, static]

Return true if t is the representation of an address, false otherwise.

Definition at line 265 of file ppl_ciao.cc.

Referenced by Prolog_get_address(), term_to_lp_problem_handle(), and term_to_polyhedron_handle().

00265                                      {
00266   return ciao_is_address(ciao_implicit_state, t);
00267 }

int @199::Prolog_is_atom ( Prolog_term_ref  t  )  [inline, static]

int @199::Prolog_is_compound ( Prolog_term_ref  t  )  [inline, static]

Return true if t is a Prolog compound term, false otherwise.

Definition at line 273 of file ppl_ciao.cc.

Referenced by build_constraint(), build_generator(), build_linear_expression(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_bounding_box(), Prolog_get_arg(), Prolog_get_compound_name_arity(), Prolog_is_address(), term_to_boundary(), and term_to_Variable().

00273                                       {
00274   return ciao_is_structure(t);
00275 }

int @199::Prolog_is_cons ( Prolog_term_ref  t  )  [inline, static]

int @199::Prolog_is_integer ( Prolog_term_ref  t  )  [inline, static]

Return true if t is a Prolog integer, false otherwise.

Definition at line 257 of file ppl_ciao.cc.

Referenced by build_constraint(), build_generator(), build_linear_expression(), integer_term_to_Coefficient(), Prolog_get_long(), Prolog_is_address(), term_to_boundary(), term_to_Coefficient(), and term_to_unsigned().

00257                                      {
00258   return ciao_is_integer(t);
00259 }

int @199::Prolog_is_variable ( Prolog_term_ref  t  )  [inline, static]

Return true if t is a Prolog variable, false otherwise.

Definition at line 241 of file ppl_ciao.cc.

00241                                       {
00242   return ciao_is_variable(t);
00243 }

Prolog_term_ref @199::Prolog_new_term_ref (  )  [inline, static]

Return a new term reference.

Definition at line 86 of file ppl_ciao.cc.

Referenced by build_constraint(), build_generator(), build_linear_expression(), Coefficient_to_integer_term(), constraint_term(), extended_rational_term(), generator_term(), get_linear_expression(), handle_exception(), interval_term(), limited_extrapolation_assign(), limited_extrapolation_assign_with_tokens(), ppl_banner(), ppl_LP_Problem_add_constraints(), ppl_LP_Problem_constraints(), ppl_LP_Problem_optimization_mode(), ppl_LP_Problem_solve(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_C_Polyhedron_from_C_Polyhedron(), ppl_new_C_Polyhedron_from_constraints(), ppl_new_C_Polyhedron_from_generators(), ppl_new_C_Polyhedron_from_NNC_Polyhedron(), ppl_new_C_Polyhedron_from_space_dimension(), ppl_new_LP_Problem(), ppl_new_LP_Problem_from_LP_Problem(), ppl_new_LP_Problem_trivial(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_C_Polyhedron(), ppl_new_NNC_Polyhedron_from_constraints(), ppl_new_NNC_Polyhedron_from_generators(), ppl_new_NNC_Polyhedron_from_NNC_Polyhedron(), ppl_new_NNC_Polyhedron_from_space_dimension(), ppl_Polyhedron_add_constraints(), ppl_Polyhedron_add_constraints_and_minimize(), ppl_Polyhedron_add_generators(), ppl_Polyhedron_add_generators_and_minimize(), ppl_Polyhedron_fold_space_dimensions(), ppl_Polyhedron_get_bounding_box(), ppl_Polyhedron_get_constraints(), ppl_Polyhedron_get_generators(), ppl_Polyhedron_get_minimized_constraints(), ppl_Polyhedron_get_minimized_generators(), ppl_Polyhedron_map_space_dimensions(), ppl_Polyhedron_maximize(), ppl_Polyhedron_maximize_with_point(), ppl_Polyhedron_minimize(), ppl_Polyhedron_minimize_with_point(), ppl_Polyhedron_relation_with_constraint(), ppl_Polyhedron_relation_with_generator(), ppl_Polyhedron_remove_space_dimensions(), ppl_set_timeout_exception_atom(), ppl_sicstus_init(), ppl_timeout_exception_atom(), ppl_version(), Prolog_atom_term_from_string(), term_to_boundary(), term_to_Variable(), unify_long(), unify_ulong(), and variable_term().

00086                       {
00087   return 0;
00088 }

int @199::Prolog_put_address ( Prolog_term_ref t,
void *  p 
) [inline, static]

int @199::Prolog_put_atom ( Prolog_term_ref t,
Prolog_atom  a 
) [inline, static]

int @199::Prolog_put_atom_chars ( Prolog_term_ref t,
const char *  s 
) [inline, static]

Assign to t an atom whose name is given by the null-terminated string s.

Definition at line 130 of file ppl_ciao.cc.

Referenced by handle_exception(), ppl_banner(), ppl_sicstus_init(), and ppl_version().

00130                                                          {
00131   t = ciao_atom(s);
00132   return 1;
00133 }

int @199::Prolog_put_long ( Prolog_term_ref t,
long  l 
) [inline, static]

Assign to t a Prolog integer with value l.

Definition at line 104 of file ppl_ciao.cc.

Referenced by Coefficient_to_integer_term(), get_linear_expression(), and unify_long().

00104                                             {
00105   t = ciao_integer(l);
00106   return 1;
00107 }

int @199::Prolog_put_term ( Prolog_term_ref t,
Prolog_term_ref  u 
) [inline, static]

Make t be a reference to the same term referenced by u, i.e., assign u to t.

Definition at line 95 of file ppl_ciao.cc.

Referenced by extended_rational_term(), ppl_new_C_Polyhedron_from_bounding_box(), and ppl_new_NNC_Polyhedron_from_bounding_box().

00095                                                        {
00096   t = u;
00097   return 1;
00098 }

int @199::Prolog_put_ulong ( Prolog_term_ref t,
unsigned long  ul 
) [inline, static]

Assign to t a Prolog integer with value ul.

Definition at line 113 of file ppl_ciao.cc.

Referenced by handle_exception(), unify_ulong(), and variable_term().

00113                                                        {
00114   if (ul < INT_MAX)
00115     t = ciao_integer(ul);
00116   else {
00117     std::ostringstream s;
00118     s << ul;
00119     // TODO: remove the const_cast when the Ciao people fix ciao_prolog.h.
00120     t = ciao_put_number_chars(const_cast<char*>(s.str().c_str()));
00121   }
00122   return 1;
00123 }

void @199::Prolog_raise_exception ( Prolog_term_ref  t  )  [inline, static]

Raise a Prolog exception with t as the exception term.

Definition at line 233 of file ppl_ciao.cc.

Referenced by handle_exception(), ppl_set_timeout_exception_atom(), and ppl_sicstus_init().

00233                                           {
00234   ciao_raise_exception(t);
00235 }

int @199::Prolog_unify ( Prolog_term_ref  t,
Prolog_term_ref  u 
) [inline, static]

Unify the terms referenced by t and u and return true if the unification is successful; return false otherwise.

Definition at line 374 of file ppl_ciao.cc.

Referenced by ppl_banner(), ppl_Coefficient_max(), ppl_Coefficient_min(), ppl_LP_Problem_constraints(), ppl_LP_Problem_evaluate_objective_function(), ppl_LP_Problem_feasible_point(), ppl_LP_Problem_objective_function(), ppl_LP_Problem_optimal_value(), ppl_LP_Problem_optimization_mode(), ppl_LP_Problem_optimizing_point(), ppl_LP_Problem_solve(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_C_Polyhedron_from_C_Polyhedron(), ppl_new_C_Polyhedron_from_constraints(), ppl_new_C_Polyhedron_from_generators(), ppl_new_C_Polyhedron_from_NNC_Polyhedron(), ppl_new_C_Polyhedron_from_space_dimension(), ppl_new_LP_Problem(), ppl_new_LP_Problem_from_LP_Problem(), ppl_new_LP_Problem_trivial(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_C_Polyhedron(), ppl_new_NNC_Polyhedron_from_constraints(), ppl_new_NNC_Polyhedron_from_generators(), ppl_new_NNC_Polyhedron_from_NNC_Polyhedron(), ppl_new_NNC_Polyhedron_from_space_dimension(), ppl_Polyhedron_get_bounding_box(), ppl_Polyhedron_get_constraints(), ppl_Polyhedron_get_generators(), ppl_Polyhedron_get_minimized_constraints(), ppl_Polyhedron_get_minimized_generators(), ppl_Polyhedron_maximize(), ppl_Polyhedron_maximize_with_point(), ppl_Polyhedron_minimize(), ppl_Polyhedron_minimize_with_point(), ppl_Polyhedron_relation_with_constraint(), ppl_Polyhedron_relation_with_generator(), ppl_timeout_exception_atom(), ppl_version(), unify_long(), and unify_ulong().

00374                                                    {
00375   return ciao_unify(t, u);
00376 }


Variable Documentation

Prolog_term_ref args[4] [static]

Definition at line 161 of file ppl_ciao.cc.

Referenced by Prolog_construct_compound(), and Prolog_construct_cons().

True if and only if the Prolog engine supports unbounded integers.

Definition at line 49 of file ppl_ciao.cc.

Referenced by max_representable_dimension(), ppl_Coefficient_max(), ppl_Coefficient_min(), and ppl_Prolog_sysdep_init().

long Prolog_max_integer [static]

If Prolog_has_unbounded_integers is false, holds the maximum integer value representable by a Prolog integer. Holds zero otherwise.

Definition at line 63 of file ppl_ciao.cc.

Referenced by max_representable_dimension(), ppl_Prolog_sysdep_init(), Prolog_put_long(), and Prolog_put_ulong().

long Prolog_min_integer [static]

If Prolog_has_unbounded_integers is false, holds the minimum integer value representable by a Prolog integer. Holds zero otherwise.

Definition at line 56 of file ppl_ciao.cc.

Referenced by ppl_Coefficient_max(), ppl_Coefficient_min(), and ppl_Prolog_sysdep_init().

Definition at line 35 of file ppl_ciao.cc.

Referenced by bop_assign(), bop_assign_and_minimize(), limited_extrapolation_assign(), limited_extrapolation_assign_with_tokens(), ppl_banner(), ppl_Coefficient_is_bounded(), ppl_delete_LP_Problem(), ppl_delete_Polyhedron(), ppl_finalize(), ppl_initialize(), ppl_LP_Problem_add_constraint(), ppl_LP_Problem_add_constraints(), ppl_LP_Problem_clear(), ppl_LP_Problem_constraints(), ppl_LP_Problem_evaluate_objective_function(), ppl_LP_Problem_feasible_point(), ppl_LP_Problem_is_satisfiable(), ppl_LP_Problem_objective_function(), ppl_LP_Problem_OK(), ppl_LP_Problem_optimal_value(), ppl_LP_Problem_optimization_mode(), ppl_LP_Problem_optimizing_point(), ppl_LP_Problem_set_objective_function(), ppl_LP_Problem_set_optimization_mode(), ppl_LP_Problem_solve(), ppl_LP_Problem_space_dimension(), ppl_LP_Problem_swap(), ppl_max_space_dimension(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_C_Polyhedron_from_C_Polyhedron(), ppl_new_C_Polyhedron_from_constraints(), ppl_new_C_Polyhedron_from_generators(), ppl_new_C_Polyhedron_from_NNC_Polyhedron(), ppl_new_C_Polyhedron_from_space_dimension(), ppl_new_LP_Problem(), ppl_new_LP_Problem_from_LP_Problem(), ppl_new_LP_Problem_trivial(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_C_Polyhedron(), ppl_new_NNC_Polyhedron_from_constraints(), ppl_new_NNC_Polyhedron_from_generators(), ppl_new_NNC_Polyhedron_from_NNC_Polyhedron(), ppl_new_NNC_Polyhedron_from_space_dimension(), ppl_Polyhedron_add_constraint(), ppl_Polyhedron_add_constraint_and_minimize(), ppl_Polyhedron_add_constraints(), ppl_Polyhedron_add_constraints_and_minimize(), ppl_Polyhedron_add_generator(), ppl_Polyhedron_add_generator_and_minimize(), ppl_Polyhedron_add_generators(), ppl_Polyhedron_add_generators_and_minimize(), ppl_Polyhedron_add_space_dimensions_and_embed(), ppl_Polyhedron_add_space_dimensions_and_project(), ppl_Polyhedron_affine_dimension(), ppl_Polyhedron_affine_image(), ppl_Polyhedron_affine_preimage(), ppl_Polyhedron_bounded_affine_image(), ppl_Polyhedron_bounded_affine_preimage(), ppl_Polyhedron_bounds_from_above(), ppl_Polyhedron_bounds_from_below(), ppl_Polyhedron_concatenate_assign(), ppl_Polyhedron_contains_Polyhedron(), ppl_Polyhedron_equals_Polyhedron(), ppl_Polyhedron_expand_space_dimension(), ppl_Polyhedron_fold_space_dimensions(), ppl_Polyhedron_generalized_affine_image(), ppl_Polyhedron_generalized_affine_image_lhs_rhs(), ppl_Polyhedron_generalized_affine_preimage(), ppl_Polyhedron_generalized_affine_preimage_lhs_rhs(), ppl_Polyhedron_get_bounding_box(), ppl_Polyhedron_get_constraints(), ppl_Polyhedron_get_generators(), ppl_Polyhedron_get_minimized_constraints(), ppl_Polyhedron_get_minimized_generators(), ppl_Polyhedron_is_bounded(), ppl_Polyhedron_is_disjoint_from_Polyhedron(), ppl_Polyhedron_is_empty(), ppl_Polyhedron_is_topologically_closed(), ppl_Polyhedron_is_universe(), ppl_Polyhedron_map_space_dimensions(), ppl_Polyhedron_maximize(), ppl_Polyhedron_maximize_with_point(), ppl_Polyhedron_minimize(), ppl_Polyhedron_minimize_with_point(), ppl_Polyhedron_OK(), ppl_Polyhedron_relation_with_constraint(), ppl_Polyhedron_relation_with_generator(), ppl_Polyhedron_remove_higher_space_dimensions(), ppl_Polyhedron_remove_space_dimensions(), ppl_Polyhedron_space_dimension(), ppl_Polyhedron_strictly_contains_Polyhedron(), ppl_Polyhedron_swap(), ppl_Polyhedron_topological_closure_assign(), ppl_reset_timeout(), ppl_set_timeout(), ppl_set_timeout_exception_atom(), ppl_timeout_exception_atom(), ppl_version(), ppl_version_beta(), ppl_version_major(), ppl_version_minor(), ppl_version_revision(), widening_assign(), widening_assign_with_token(), and widening_assign_with_tokens().


Generated on Wed Jul 16 22:55:26 2008 for PPL by  doxygen 1.5.6