#include "ppl.hh"
#include "pwl.hh"
#include <ciao_prolog.h>
#include <cassert>
#include <sstream>
#include "../exceptions.hh"
#include "../ppl_prolog.icc"
Go to the source code of this file.
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.
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().
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().
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] |
int @199::Prolog_construct_compound | ( | Prolog_term_ref & | t, | |
Prolog_atom | f, | |||
Prolog_term_ref | a1, | |||
Prolog_term_ref | a2 | |||
) | [inline, static] |
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().
int @199::Prolog_construct_cons | ( | Prolog_term_ref & | c, | |
Prolog_term_ref | h, | |||
Prolog_term_ref | t | |||
) | [inline, static] |
Assign to c
a Prolog list whose head is h
and tail is t
.
Definition at line 223 of file ppl_ciao.cc.
Referenced by handle_exception(), ppl_LP_Problem_constraints(), 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_relation_with_constraint(), and ppl_Polyhedron_relation_with_generator().
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] |
If c
is a Prolog cons (list constructor), assign its head and tail to h
and t
, respectively. The behavior is undefined if c
is not a Prolog cons.
Definition at line 362 of file ppl_ciao.cc.
References Prolog_is_cons().
Referenced by limited_extrapolation_assign(), limited_extrapolation_assign_with_tokens(), ppl_LP_Problem_add_constraints(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_C_Polyhedron_from_constraints(), ppl_new_C_Polyhedron_from_generators(), ppl_new_LP_Problem(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_constraints(), ppl_new_NNC_Polyhedron_from_generators(), 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_map_space_dimensions(), and ppl_Polyhedron_remove_space_dimensions().
00362 { 00363 assert(Prolog_is_cons(c)); 00364 h = ciao_list_head(c); 00365 t = ciao_list_tail(c); 00366 return 1; 00367 }
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().
int @199::Prolog_is_atom | ( | Prolog_term_ref | t | ) | [inline, static] |
Return true if t
is a Prolog atom, false otherwise.
Definition at line 249 of file ppl_ciao.cc.
Referenced by check_nil_terminating(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_set_timeout_exception_atom(), Prolog_get_atom_name(), term_to_boundary(), term_to_complexity_class(), term_to_optimization_mode(), term_to_relation(), and term_to_universe_or_empty().
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().
int @199::Prolog_is_cons | ( | Prolog_term_ref | t | ) | [inline, static] |
Return true if t
is a Prolog list, false otherwise.
Definition at line 281 of file ppl_ciao.cc.
Referenced by limited_extrapolation_assign(), limited_extrapolation_assign_with_tokens(), ppl_LP_Problem_add_constraints(), ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_C_Polyhedron_from_constraints(), ppl_new_C_Polyhedron_from_generators(), ppl_new_LP_Problem(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_constraints(), ppl_new_NNC_Polyhedron_from_generators(), 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_map_space_dimensions(), ppl_Polyhedron_remove_space_dimensions(), and Prolog_get_cons().
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().
int @199::Prolog_is_variable | ( | Prolog_term_ref | t | ) | [inline, static] |
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().
int @199::Prolog_put_address | ( | Prolog_term_ref & | t, | |
void * | p | |||
) | [inline, static] |
Assign to t
a term representing the address contained in p
.
Definition at line 148 of file ppl_ciao.cc.
Referenced by 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(), and ppl_new_NNC_Polyhedron_from_space_dimension().
int @199::Prolog_put_atom | ( | Prolog_term_ref & | t, | |
Prolog_atom | a | |||
) | [inline, static] |
Assign to t
the Prolog atom a
.
Definition at line 139 of file ppl_ciao.cc.
Referenced by extended_rational_term(), handle_exception(), interval_term(), ppl_LP_Problem_constraints(), ppl_LP_Problem_optimization_mode(), ppl_LP_Problem_solve(), 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(), and Prolog_atom_term_from_string().
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().
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().
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().
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().
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().
Prolog_term_ref args[4] [static] |
Definition at line 161 of file ppl_ciao.cc.
Referenced by Prolog_construct_compound(), and Prolog_construct_cons().
const Prolog_foreign_return_type PROLOG_FAILURE = 0 [static] |
Definition at line 36 of file ppl_ciao.cc.
Referenced by ppl_new_C_Polyhedron_from_bounding_box(), ppl_new_NNC_Polyhedron_from_bounding_box(), ppl_Polyhedron_map_space_dimensions(), ppl_set_timeout_exception_atom(), and ppl_timeout_exception_atom().
bool Prolog_has_unbounded_integers [static] |
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().
const Prolog_foreign_return_type PROLOG_SUCCESS = 1 [static] |
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().