c_api.h File Reference

#include <stdint.h>

Classes
struct	gecode_opt_id
struct	gecode_opt_term
struct	gecode_opt_start
struct	gecode_opt_options_v1
struct	gecode_opt_result_info_v1
struct	gecode_opt_session_statistics_v1
struct	gecode_opt_variable_spec_v1
struct	gecode_opt_row_spec_v1
struct	gecode_opt_sparse_row_batch_v1
struct	gecode_opt_optional_number_v1
struct	gecode_opt_pool_options_v1
struct	gecode_opt_pool_info_v1
struct	gecode_opt_pool_entry_info_v1
struct	gecode_opt_pool_attempt_info_v1
struct	gecode_opt_relaxation_selection_v1
struct	gecode_opt_repair_options_v1
struct	gecode_opt_repair_info_v1
struct	gecode_opt_repair_item_info_v1
struct	gecode_opt_repair_stage_info_v1
struct	gecode_opt_validation_info_v1
struct	gecode_opt_weighted_square_v1
struct	gecode_opt_quadratic_options_v1
struct	gecode_opt_quadratic_info_v1
struct	gecode_opt_quadratic_checks_v1
struct	gecode_opt_regular_transition_v1
struct	gecode_opt_lp_options_v1
struct	gecode_opt_lp_capabilities_v1
struct	gecode_opt_lp_info_v1
struct	gecode_opt_lp_metadata_v1
struct	gecode_opt_lp_group_v1
struct	gecode_opt_lp_row_v1
struct	gecode_opt_lp_column_v1
struct	gecode_opt_lp_checks_v1
struct	gecode_opt_basis_info_v1
struct	gecode_opt_basis_result_info_v1
struct	gecode_opt_scenario_id
struct	gecode_opt_scenario_bounds_v1
struct	gecode_opt_scenario_definition_v1
struct	gecode_opt_scenario_options_v1
struct	gecode_opt_scenario_info_v1
struct	gecode_opt_scenario_outcome_v1
struct	gecode_opt_scenario_check_v1
struct	gecode_opt_scenario_definition_info_v1
struct	gecode_opt_evidence_options_v1
struct	gecode_opt_evidence_info_v1
struct	gecode_opt_evidence_group_v1
struct	gecode_opt_evidence_metadata_v1
struct	gecode_opt_evidence_primal_v1
struct	gecode_opt_evidence_farkas_v1
struct	gecode_opt_evidence_slot_v1
struct	gecode_opt_evidence_raw_result_v1
struct	gecode_opt_evidence_stage_v1
struct	gecode_opt_evidence_column_v1
struct	gecode_opt_evidence_raw_value_v1
struct	gecode_opt_sensitivity_request_v1
struct	gecode_opt_sensitivity_checks_options_v1
struct	gecode_opt_sensitivity_limits_v1
struct	gecode_opt_sensitivity_options_v1
struct	gecode_opt_sensitivity_info_v1
struct	gecode_opt_sensitivity_work_v1
struct	gecode_opt_sensitivity_group_v1
struct	gecode_opt_sensitivity_end_v1
struct	gecode_opt_sensitivity_limiter_v1
struct	gecode_opt_sensitivity_interval_checks_v1
struct	gecode_opt_sensitivity_entry_v1
struct	gecode_opt_sensitivity_reference_checks_v1

Macros
#define	GECODE_OPT_API   __attribute__((visibility("default")))
#define	GECODE_OPT_NOEXCEPT

Typedefs
typedef uint64_t	gecode_opt_handle

Enumerations
enum	{ GECODE_OPT_VARIABLE_ID =1 , GECODE_OPT_ROW_ID =2 , GECODE_OPT_GLOBAL_ID =3 , GECODE_OPT_INDICATOR_ID =4 }
enum	{   GECODE_OPT_OK =0 , GECODE_OPT_INVALID_ARGUMENT =1 , GECODE_OPT_INVALID_HANDLE =2 , GECODE_OPT_MODEL_ERROR =3 ,   GECODE_OPT_OUT_OF_MEMORY =4 , GECODE_OPT_INTERNAL_ERROR =5 , GECODE_OPT_BUFFER_TOO_SMALL =6 , GECODE_OPT_NO_SOLUTION =7 ,   GECODE_OPT_NO_OBSERVATIONS =8 , GECODE_OPT_NO_BASIS =9 }
enum	{   GECODE_OPT_CONTINUOUS =0 , GECODE_OPT_INTEGER =1 , GECODE_OPT_BINARY =2 , GECODE_OPT_SEMI_CONTINUOUS =3 ,   GECODE_OPT_SEMI_INTEGER =4 }
enum	{ GECODE_OPT_MINIMIZE =0 , GECODE_OPT_MAXIMIZE =1 }
enum	{ GECODE_OPT_AUTO =0 , GECODE_OPT_HIGHS =1 , GECODE_OPT_NATIVE =2 }
enum	{ GECODE_OPT_NUMERICAL =0 , GECODE_OPT_EXACT =1 , GECODE_OPT_CERTIFIED =2 }
enum	{   GECODE_OPT_UNKNOWN =0 , GECODE_OPT_OPTIMAL =1 , GECODE_OPT_INFEASIBLE =2 , GECODE_OPT_UNBOUNDED =3 ,   GECODE_OPT_INFEASIBLE_OR_UNBOUNDED =4 , GECODE_OPT_TIME_LIMIT =5 , GECODE_OPT_NODE_LIMIT =6 , GECODE_OPT_MEMORY_LIMIT =7 ,   GECODE_OPT_ITERATION_LIMIT =8 , GECODE_OPT_SOLUTION_LIMIT =9 , GECODE_OPT_OBJECTIVE_LIMIT =10 , GECODE_OPT_CANCELLED =11 ,   GECODE_OPT_NUMERICAL_FAILURE =12 , GECODE_OPT_UNSUPPORTED =13 , GECODE_OPT_INVALID_MODEL =14 , GECODE_OPT_BACKEND_ERROR =15 }
enum	{   GECODE_OPT_OBJECTIVE =0 , GECODE_OPT_BEST_BOUND =1 , GECODE_OPT_ABSOLUTE_GAP =2 , GECODE_OPT_RELATIVE_GAP =3 ,   GECODE_OPT_NATIVE_GAP =4 }
enum	{ GECODE_OPT_BACKEND_NAME =0 , GECODE_OPT_BACKEND_VERSION =1 , GECODE_OPT_MESSAGE =2 }
enum	{ GECODE_OPT_POOL_INCOMPLETE =0 , GECODE_OPT_POOL_REQUESTED_LIMIT =1 , GECODE_OPT_POOL_EXHAUSTED =2 }
enum	{ GECODE_OPT_RELAX_LOWER =0 , GECODE_OPT_RELAX_UPPER =1 }
enum	{ GECODE_OPT_REPAIR_MINIMUM_VIOLATION =0 , GECODE_OPT_REPAIR_VIOLATION =1 , GECODE_OPT_REPAIR_ORIGINAL_OBJECTIVE =2 }
enum	{   GECODE_OPT_REPAIR_MESSAGE =0 , GECODE_OPT_REPAIR_WORKFLOW_MESSAGE =1 , GECODE_OPT_REPAIR_VALIDATION_MESSAGE =2 , GECODE_OPT_REPAIR_ITEM_NAME =3 ,   GECODE_OPT_REPAIR_STAGE_NAME =4 }
enum	{ GECODE_OPT_QP_VENDOR_OBJECTIVE =5 , GECODE_OPT_QP_VENDOR_DUAL_ESTIMATE =6 }
enum	{ GECODE_OPT_QP_CHECK_MESSAGE =3 }
enum	{ GECODE_OPT_QP_SQUARE_RESIDUALS =0 , GECODE_OPT_QP_ORIGINAL_GRADIENT =1 }
enum	{ GECODE_OPT_LP_NOT_REQUESTED =0 , GECODE_OPT_LP_AVAILABLE =1 , GECODE_OPT_LP_UNAVAILABLE =2 , GECODE_OPT_LP_REJECTED =3 }
enum	{   GECODE_OPT_LP_REASON_NONE =0 , GECODE_OPT_LP_REASON_NOT_REQUESTED =1 , GECODE_OPT_LP_REASON_UNSUPPORTED =2 , GECODE_OPT_LP_REASON_NO_BACKEND_SOLVE =3 ,   GECODE_OPT_LP_REASON_NO_PRIMAL_POINT =4 , GECODE_OPT_LP_REASON_NOT_OPTIMAL =5 , GECODE_OPT_LP_REASON_NO_DUAL_POINT =6 , GECODE_OPT_LP_REASON_NO_BASIS =7 ,   GECODE_OPT_LP_REASON_ELIDED_CONSTANT_ROWS =8 , GECODE_OPT_LP_REASON_INTERRUPTED =9 , GECODE_OPT_LP_REASON_INVALID_BACKEND_DATA =10 , GECODE_OPT_LP_REASON_FAILED_CHECKS =11 ,   GECODE_OPT_LP_REASON_ALLOCATION_FAILURE =12 , GECODE_OPT_LP_REASON_INVALID_MODEL =13 }
enum	{   GECODE_OPT_LP_BASIS_LOWER =0 , GECODE_OPT_LP_BASIS_BASIC =1 , GECODE_OPT_LP_BASIS_UPPER =2 , GECODE_OPT_LP_BASIS_ZERO =3 ,   GECODE_OPT_LP_BASIS_NONBASIC_UNSPECIFIED =4 }
enum	{ GECODE_OPT_LP_DUAL_NONE =0 , GECODE_OPT_LP_DUAL_BACKEND =1 , GECODE_OPT_LP_DUAL_DERIVED_CONSTANT_ROW =2 }
enum	{ GECODE_OPT_LP_PRIMAL_ROWS =0 , GECODE_OPT_LP_DUAL_POINT =1 , GECODE_OPT_LP_BASIS =2 }
enum	{   GECODE_OPT_LP_BACKEND_NAME =0 , GECODE_OPT_LP_BACKEND_VERSION =1 , GECODE_OPT_LP_PRIMAL_MESSAGE =2 , GECODE_OPT_LP_DUAL_MESSAGE =3 ,   GECODE_OPT_LP_BASIS_MESSAGE =4 , GECODE_OPT_LP_CHECK_MESSAGE =5 }
enum	{ GECODE_OPT_LP_CAP_BACKEND =0 , GECODE_OPT_LP_CAP_VERSION =1 , GECODE_OPT_LP_CAP_LIMITATION =2 }
enum	{ GECODE_OPT_BASIS_CALLER =0 , GECODE_OPT_BASIS_OBSERVATIONS =1 }
enum	{   GECODE_OPT_BASIS_NOT_ATTEMPTED =0 , GECODE_OPT_BASIS_ACCEPTED =1 , GECODE_OPT_BASIS_REPAIRED =2 , GECODE_OPT_BASIS_REJECTED =3 ,   GECODE_OPT_BASIS_INTERRUPTED =4 }
enum	{ GECODE_OPT_SCENARIO_AUTOMATIC =0 , GECODE_OPT_SCENARIO_COLD =1 }
enum	{ GECODE_OPT_SCENARIO_REJECTED =0 , GECODE_OPT_SCENARIO_INTERRUPTED =1 , GECODE_OPT_SCENARIO_COMPLETE =2 }
enum	{ GECODE_OPT_SCENARIO_NOT_STARTED =0 , GECODE_OPT_SCENARIO_ATTEMPTED =1 }
enum	{ GECODE_OPT_SCENARIO_NAME =0 , GECODE_OPT_SCENARIO_VALIDATION_MESSAGE =1 }
enum	{ GECODE_OPT_NO_EVIDENCE =10 }
enum	{ GECODE_OPT_EVIDENCE_AUTOMATIC =0 , GECODE_OPT_EVIDENCE_PRIMAL_RAY =1 , GECODE_OPT_EVIDENCE_FARKAS =2 , GECODE_OPT_EVIDENCE_BOTH =3 }
enum	{ GECODE_OPT_EVIDENCE_NOT_REQUESTED =0 , GECODE_OPT_EVIDENCE_AVAILABLE =1 , GECODE_OPT_EVIDENCE_UNAVAILABLE =2 , GECODE_OPT_EVIDENCE_REJECTED =3 }
enum	{   GECODE_OPT_EVIDENCE_REASON_NONE =0 , GECODE_OPT_EVIDENCE_REASON_NOT_REQUESTED =1 , GECODE_OPT_EVIDENCE_REASON_UNSUPPORTED =2 , GECODE_OPT_EVIDENCE_REASON_NO_FEASIBLE_BASE =3 ,   GECODE_OPT_EVIDENCE_REASON_NO_IMPROVEMENT =4 , GECODE_OPT_EVIDENCE_REASON_NO_CONTRADICTION =5 , GECODE_OPT_EVIDENCE_REASON_STOPPED =6 , GECODE_OPT_EVIDENCE_REASON_INVALID_BACKEND =7 ,   GECODE_OPT_EVIDENCE_REASON_FAILED_CHECKS =8 , GECODE_OPT_EVIDENCE_REASON_INCONSISTENT =9 , GECODE_OPT_EVIDENCE_REASON_INVALID_MODEL =10 , GECODE_OPT_EVIDENCE_REASON_RESOURCE_LIMIT =11 ,   GECODE_OPT_EVIDENCE_REASON_ALLOCATION =12 }
enum	{ GECODE_OPT_EVIDENCE_COMPLETE =0 , GECODE_OPT_EVIDENCE_INTERRUPTED =1 , GECODE_OPT_EVIDENCE_ANALYSIS_REJECTED =2 }
enum	{ GECODE_OPT_EVIDENCE_FEASIBLE_BASE =0 , GECODE_OPT_EVIDENCE_RECESSION =1 , GECODE_OPT_EVIDENCE_FARKAS_PHASE =2 }
enum	{ GECODE_OPT_EVIDENCE_LOWER =0 , GECODE_OPT_EVIDENCE_UPPER =1 }
enum	{ GECODE_OPT_EVIDENCE_SOURCE_VARIABLE =0 , GECODE_OPT_EVIDENCE_ROW_SIDE =1 , GECODE_OPT_EVIDENCE_VARIABLE_SIDE =2 }
enum	{ GECODE_OPT_EVIDENCE_PRIMAL_GROUP =0 , GECODE_OPT_EVIDENCE_FARKAS_GROUP =1 }
enum	{ GECODE_OPT_EVIDENCE_BASE_VALUE =0 , GECODE_OPT_EVIDENCE_DIRECTION_VALUE =1 }
enum	{ GECODE_OPT_EVIDENCE_MESSAGE =0 , GECODE_OPT_EVIDENCE_PRIMAL_MESSAGE =1 , GECODE_OPT_EVIDENCE_FARKAS_MESSAGE =2 , GECODE_OPT_EVIDENCE_BASE_CHECK_MESSAGE =3 }
enum	{ GECODE_OPT_EVIDENCE_RAW_BACKEND =0 , GECODE_OPT_EVIDENCE_RAW_BACKEND_VERSION =1 , GECODE_OPT_EVIDENCE_RAW_MESSAGE =2 , GECODE_OPT_EVIDENCE_STAGE_CHECK_MESSAGE =3 }
enum	{ GECODE_OPT_NO_SENSITIVITY =11 }
enum	{ GECODE_OPT_SENSITIVITY_OBJECTIVE =0 , GECODE_OPT_SENSITIVITY_EQUALITY_RHS =1 }
enum	{ GECODE_OPT_SENSITIVITY_NOT_REQUESTED =0 , GECODE_OPT_SENSITIVITY_AVAILABLE =1 , GECODE_OPT_SENSITIVITY_UNAVAILABLE =2 , GECODE_OPT_SENSITIVITY_REJECTED =3 }
enum	{ GECODE_OPT_SENSITIVITY_COMPLETE =0 , GECODE_OPT_SENSITIVITY_PARTIAL =1 , GECODE_OPT_SENSITIVITY_INTERRUPTED =2 , GECODE_OPT_SENSITIVITY_ANALYSIS_REJECTED =3 }
enum	{   GECODE_OPT_SENSITIVITY_REASON_NONE =0 , GECODE_OPT_SENSITIVITY_REASON_NOT_REQUESTED =1 , GECODE_OPT_SENSITIVITY_REASON_UNSUPPORTED =2 , GECODE_OPT_SENSITIVITY_REASON_NOT_OPTIMAL =3 ,   GECODE_OPT_SENSITIVITY_REASON_NO_BASIS =4 , GECODE_OPT_SENSITIVITY_REASON_INVALID_SOURCE =5 , GECODE_OPT_SENSITIVITY_REASON_INVALID_BASIS =6 , GECODE_OPT_SENSITIVITY_REASON_CHANGED_BASIS =7 ,   GECODE_OPT_SENSITIVITY_REASON_REFERENCE_CHECKS =8 , GECODE_OPT_SENSITIVITY_REASON_SYSTEM_CHECKS =9 , GECODE_OPT_SENSITIVITY_REASON_INTERVAL_CHECKS =10 , GECODE_OPT_SENSITIVITY_REASON_RESOURCE_LIMIT =11 ,   GECODE_OPT_SENSITIVITY_REASON_STOPPED =12 , GECODE_OPT_SENSITIVITY_REASON_ALLOCATION =13 , GECODE_OPT_SENSITIVITY_REASON_BACKEND =14 }
enum	{ GECODE_OPT_RANGE_FINITE =0 , GECODE_OPT_RANGE_NEGATIVE_INFINITY =1 , GECODE_OPT_RANGE_POSITIVE_INFINITY =2 }
enum	{ GECODE_OPT_SENSITIVITY_LOWER =0 , GECODE_OPT_SENSITIVITY_UPPER =1 , GECODE_OPT_SENSITIVITY_FIXED =2 , GECODE_OPT_SENSITIVITY_FREE =3 }
enum	{   GECODE_OPT_SENSITIVITY_MESSAGE =0 , GECODE_OPT_SENSITIVITY_BACKEND_VERSION =1 , GECODE_OPT_SENSITIVITY_ENTRY_MESSAGE =2 , GECODE_OPT_SENSITIVITY_INTERVAL_MESSAGE =3 ,   GECODE_OPT_SENSITIVITY_PRIMAL_MESSAGE =4 , GECODE_OPT_SENSITIVITY_KKT_MESSAGE =5 }

Functions
GECODE_OPT_API uint32_t	gecode_opt_v1_abi_version (void) GECODE_OPT_NOEXCEPT
GECODE_OPT_API const char *	gecode_opt_v1_last_error (void) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_options_default (gecode_opt_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_capabilities (int32_t backend, int32_t *available, int32_t *lp, int32_t *mip) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_create (gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_identity (gecode_opt_handle, uint64_t *model_id, uint64_t *revision) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_read (const char *filename, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_write (gecode_opt_handle, const char *filename) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_variable (gecode_opt_handle, int32_t type, double lower, double upper, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_row (gecode_opt_handle, const gecode_opt_term *, uint64_t count, double lower, double upper, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_variables (gecode_opt_handle, const gecode_opt_variable_spec_v1 *, uint64_t count, gecode_opt_id *output, uint64_t capacity) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_rows (gecode_opt_handle, const gecode_opt_row_spec_v1 *, uint64_t count, gecode_opt_id *output, uint64_t capacity) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_rows_sparse (gecode_opt_handle, const gecode_opt_sparse_row_batch_v1 *, gecode_opt_id *output, uint64_t capacity) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_objective (gecode_opt_handle, const gecode_opt_term *, uint64_t count, int32_t sense, double offset) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_variable_bounds (gecode_opt_handle, gecode_opt_id, double lower, double upper) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_row_bounds (gecode_opt_handle, gecode_opt_id, double lower, double upper) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_coefficient (gecode_opt_handle, gecode_opt_id row, gecode_opt_id variable, double value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_objective_coefficient (gecode_opt_handle, gecode_opt_id variable, double value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_objective_offset (gecode_opt_handle, double offset) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_variable_name (gecode_opt_handle, gecode_opt_id, const char *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_row_name (gecode_opt_handle, gecode_opt_id, const char *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_remove_variable (gecode_opt_handle, gecode_opt_id) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_remove_row (gecode_opt_handle, gecode_opt_id) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_all_different (gecode_opt_handle, const gecode_opt_id *variables, uint64_t count, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_element (gecode_opt_handle, gecode_opt_id index, const gecode_opt_id *elements, uint64_t count, gecode_opt_id result, int64_t index_base, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_table (gecode_opt_handle, const gecode_opt_id *variables, uint64_t arity, const int64_t *values, uint64_t value_count, uint64_t tuple_count, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_cumulative (gecode_opt_handle, const gecode_opt_id *starts, uint64_t count, const int64_t *durations, uint64_t duration_count, const int64_t *heights, uint64_t height_count, int64_t capacity, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_circuit (gecode_opt_handle, const gecode_opt_id *successors, uint64_t count, int64_t index_base, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_regular (gecode_opt_handle, const gecode_opt_id *variables, uint64_t variable_count, uint64_t state_count, uint64_t initial_state, const gecode_opt_regular_transition_v1 *transitions, uint64_t transition_count, uint64_t transition_element_size, const uint64_t *final_states, uint64_t final_count, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_remove_global (gecode_opt_handle, gecode_opt_id) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_set_global_name (gecode_opt_handle, gecode_opt_id, const char *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_indicator (gecode_opt_handle, gecode_opt_id activator, int32_t active_value, const gecode_opt_term *, uint64_t count, double lower, double upper, const char *name, gecode_opt_id *indicator, int32_t *has_gate, gecode_opt_id *gate) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_remove_indicator (gecode_opt_handle, gecode_opt_id) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_boolean_and (gecode_opt_handle, gecode_opt_id result, const gecode_opt_id *inputs, uint64_t count, const char *name) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_model_add_boolean_or (gecode_opt_handle, gecode_opt_id result, const gecode_opt_id *inputs, uint64_t count, const char *name) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_cancellation_create (gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_cancellation_cancel (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_cancellation_is_cancelled (gecode_opt_handle, int32_t *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_cancellation_copy (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_cancellation_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_session_create (gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_session_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_session_reset (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_session_statistics (gecode_opt_handle, gecode_opt_session_statistics_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_solve (gecode_opt_handle model, const gecode_opt_options_v1 *, gecode_opt_handle *result) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_session_solve (gecode_opt_handle session, gecode_opt_handle model, const gecode_opt_options_v1 *, gecode_opt_handle *result) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_result_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_result_info (gecode_opt_handle, gecode_opt_result_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_result_number (gecode_opt_handle, int32_t field, int32_t *present, double *value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_result_value (gecode_opt_handle, gecode_opt_id variable, double *value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_result_values (gecode_opt_handle, double *values, uint8_t *active, uint8_t *present, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_result_text (gecode_opt_handle, int32_t field, char *buffer, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_capabilities (gecode_opt_lp_capabilities_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_capability_text (int32_t field, uint64_t index, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_options_default (gecode_opt_lp_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_solve_lp_observed (gecode_opt_handle model, const gecode_opt_lp_options_v1 *, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_session_solve_lp_observed (gecode_opt_handle session, gecode_opt_handle model, const gecode_opt_lp_options_v1 *, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_copy_result (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_info (gecode_opt_handle, gecode_opt_lp_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_metadata (gecode_opt_handle, gecode_opt_lp_metadata_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_group (gecode_opt_handle, int32_t group, gecode_opt_lp_group_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_checks (gecode_opt_handle, gecode_opt_lp_checks_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_row (gecode_opt_handle, gecode_opt_id, gecode_opt_lp_row_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_column (gecode_opt_handle, gecode_opt_id, gecode_opt_lp_column_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_rows (gecode_opt_handle, gecode_opt_lp_row_v1 *, uint64_t element_size, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_columns (gecode_opt_handle, gecode_opt_lp_column_v1 *, uint64_t element_size, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_observed_result_text (gecode_opt_handle, int32_t field, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_from_observed (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_from_model (gecode_opt_handle, const int32_t *columns, uint64_t column_count, const int32_t *rows, uint64_t row_count, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_info (gecode_opt_handle, gecode_opt_basis_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_statuses (gecode_opt_handle, int32_t entity_kind, int32_t *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_row (gecode_opt_handle, gecode_opt_id, int32_t *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_column (gecode_opt_handle, gecode_opt_id, int32_t *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_solve_lp_with_basis (gecode_opt_handle model, gecode_opt_handle basis, const gecode_opt_lp_options_v1 *, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_session_solve_lp_with_basis (gecode_opt_handle session, gecode_opt_handle model, gecode_opt_handle basis, const gecode_opt_lp_options_v1 *, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_result_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_result_info (gecode_opt_handle, gecode_opt_basis_result_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_result_message (gecode_opt_handle, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_result_copy_observed (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_basis_result_copy_basis (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_capabilities (int32_t *available) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_options_default (gecode_opt_quadratic_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_create (gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_identity (gecode_opt_handle, uint64_t *model_id, uint64_t *revision) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_add_continuous (gecode_opt_handle, double lower, double upper, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_add_row (gecode_opt_handle, const gecode_opt_term *, uint64_t count, double lower, double upper, const char *name, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_set_objective (gecode_opt_handle, const gecode_opt_weighted_square_v1 *, uint64_t square_count, const gecode_opt_term *linear, uint64_t linear_count, int32_t sense, double offset) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_set_variable_bounds (gecode_opt_handle, gecode_opt_id, double lower, double upper) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_set_row_bounds (gecode_opt_handle, gecode_opt_id, double lower, double upper) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_set_coefficient (gecode_opt_handle, gecode_opt_id row, gecode_opt_id variable, double value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_remove_variable (gecode_opt_handle, gecode_opt_id) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_model_remove_row (gecode_opt_handle, gecode_opt_id) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_solve (gecode_opt_handle model, const gecode_opt_quadratic_options_v1 *, gecode_opt_handle *result) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_info (gecode_opt_handle, gecode_opt_quadratic_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_checks (gecode_opt_handle, gecode_opt_quadratic_checks_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_number (gecode_opt_handle, int32_t field, int32_t *present, double *value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_value (gecode_opt_handle, gecode_opt_id variable, double *value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_values (gecode_opt_handle, double *values, uint8_t *active, uint8_t *present, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_array (gecode_opt_handle, int32_t field, double *values, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_quadratic_result_text (gecode_opt_handle, int32_t field, char *buffer, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_options_default (gecode_opt_pool_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_solve (gecode_opt_handle model, const gecode_opt_pool_options_v1 *, gecode_opt_handle *pool) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_info (gecode_opt_handle, gecode_opt_pool_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_projection (gecode_opt_handle, gecode_opt_id *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_entry_info (gecode_opt_handle, uint64_t index, gecode_opt_pool_entry_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_entry_result (gecode_opt_handle, uint64_t index, gecode_opt_handle *result) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_entry_projection (gecode_opt_handle, uint64_t index, int64_t *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_attempt_info (gecode_opt_handle, uint64_t index, gecode_opt_pool_attempt_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_pool_message (gecode_opt_handle, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_options_default (gecode_opt_repair_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_solve (gecode_opt_handle model, const gecode_opt_repair_options_v1 *, gecode_opt_handle *repair) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_info (gecode_opt_handle, gecode_opt_repair_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_number (gecode_opt_handle, int32_t field, int32_t *present, double *value) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_original_value (gecode_opt_handle, gecode_opt_id variable, double *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_original_values (gecode_opt_handle, double *, uint8_t *active, uint8_t *present, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_variable_map (gecode_opt_handle, gecode_opt_id *source, gecode_opt_id *private_ids, uint8_t *active, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_validation (gecode_opt_handle, gecode_opt_validation_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_item_info (gecode_opt_handle, uint64_t index, gecode_opt_repair_item_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_stage_info (gecode_opt_handle, uint64_t index, gecode_opt_repair_stage_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_stage_result (gecode_opt_handle, uint64_t index, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_final_result (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_violation_lock (gecode_opt_handle, int32_t *present, gecode_opt_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_objective_values (gecode_opt_handle, double *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_repair_text (gecode_opt_handle, int32_t field, uint64_t index, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_options_default (gecode_opt_scenario_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_solve_scenarios (gecode_opt_handle model, const gecode_opt_scenario_definition_v1 *, uint64_t count, uint64_t element_size, const gecode_opt_scenario_options_v1 *, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_info (gecode_opt_handle, gecode_opt_scenario_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_id (gecode_opt_handle, uint64_t index, gecode_opt_scenario_id *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_outcome (gecode_opt_handle, gecode_opt_scenario_id, gecode_opt_scenario_outcome_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_check (gecode_opt_handle, gecode_opt_scenario_id, gecode_opt_scenario_check_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_copy_result (gecode_opt_handle, gecode_opt_scenario_id, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_map (gecode_opt_handle, gecode_opt_id original, gecode_opt_id *private_id) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_value (gecode_opt_handle, gecode_opt_scenario_id, gecode_opt_id original, double *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_message (gecode_opt_handle, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_text (gecode_opt_handle, gecode_opt_scenario_id, int32_t field, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_definition (gecode_opt_handle, gecode_opt_scenario_id, gecode_opt_scenario_definition_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_objective (gecode_opt_handle, gecode_opt_scenario_id, gecode_opt_term *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_scenario_batch_bounds (gecode_opt_handle, gecode_opt_scenario_id, int32_t entity_kind, gecode_opt_scenario_bounds_v1 *, uint64_t element_size, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_evidence_options_default (gecode_opt_evidence_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_analyze_lp_evidence (gecode_opt_handle model, const gecode_opt_evidence_options_v1 *, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_info (gecode_opt_handle, gecode_opt_evidence_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_group (gecode_opt_handle, int32_t group, gecode_opt_evidence_group_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_metadata (gecode_opt_handle, gecode_opt_evidence_metadata_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_primal (gecode_opt_handle, gecode_opt_evidence_primal_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_farkas (gecode_opt_handle, gecode_opt_evidence_farkas_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_slot (gecode_opt_handle, gecode_opt_id source, gecode_opt_evidence_slot_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_slots (gecode_opt_handle, int32_t entity_kind, gecode_opt_evidence_slot_v1 *, uint64_t element_size, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_value (gecode_opt_handle, gecode_opt_id source, int32_t field, double *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_multiplier (gecode_opt_handle, gecode_opt_id source, gecode_opt_evidence_slot_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_text (gecode_opt_handle, int32_t field, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_copy_stage (gecode_opt_handle, uint64_t index, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_stage_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_stage_info (gecode_opt_handle, gecode_opt_evidence_stage_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_stage_columns (gecode_opt_handle, gecode_opt_evidence_column_v1 *, uint64_t element_size, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_stage_raw_values (gecode_opt_handle, gecode_opt_evidence_raw_value_v1 *, uint64_t element_size, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_lp_evidence_stage_text (gecode_opt_handle, int32_t field, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_options_default (gecode_opt_sensitivity_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_analyze_lp_sensitivity (gecode_opt_handle observed, const gecode_opt_sensitivity_options_v1 *, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_destroy (gecode_opt_handle) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_info (gecode_opt_handle, gecode_opt_sensitivity_info_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_work (gecode_opt_handle, gecode_opt_sensitivity_work_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_checks_options (gecode_opt_handle, gecode_opt_sensitivity_checks_options_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_reference_checks (gecode_opt_handle, gecode_opt_sensitivity_reference_checks_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_copy_source_observed (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_copy_basis (gecode_opt_handle, gecode_opt_handle *) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_entry (gecode_opt_handle, uint64_t index, gecode_opt_sensitivity_entry_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_entries (gecode_opt_handle, gecode_opt_sensitivity_entry_v1 *, uint64_t element_size, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_objective (gecode_opt_handle, gecode_opt_id, gecode_opt_sensitivity_entry_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_equality_rhs (gecode_opt_handle, gecode_opt_id, gecode_opt_sensitivity_entry_v1 *, uint64_t size) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_factor_order (gecode_opt_handle, gecode_opt_id *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_active_slots (gecode_opt_handle, int32_t entity_kind, uint8_t *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT
GECODE_OPT_API int32_t	gecode_opt_v1_sensitivity_text (gecode_opt_handle, int32_t field, uint64_t index, char *, uint64_t capacity, uint64_t *required) GECODE_OPT_NOEXCEPT

Macro Definition Documentation

GECODE_OPT_API

#define GECODE_OPT_API   __attribute__((visibility("default")))

GECODE_OPT_NOEXCEPT

#define GECODE_OPT_NOEXCEPT

Typedef Documentation

gecode_opt_handle

typedef uint64_t gecode_opt_handle

Enumeration Type Documentation

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_VARIABLE_ID
GECODE_OPT_ROW_ID
GECODE_OPT_GLOBAL_ID
GECODE_OPT_INDICATOR_ID

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_OK
GECODE_OPT_INVALID_ARGUMENT
GECODE_OPT_INVALID_HANDLE
GECODE_OPT_MODEL_ERROR
GECODE_OPT_OUT_OF_MEMORY
GECODE_OPT_INTERNAL_ERROR
GECODE_OPT_BUFFER_TOO_SMALL
GECODE_OPT_NO_SOLUTION
GECODE_OPT_NO_OBSERVATIONS
GECODE_OPT_NO_BASIS

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_CONTINUOUS
GECODE_OPT_INTEGER
GECODE_OPT_BINARY
GECODE_OPT_SEMI_CONTINUOUS
GECODE_OPT_SEMI_INTEGER

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_MINIMIZE
GECODE_OPT_MAXIMIZE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_AUTO
GECODE_OPT_HIGHS
GECODE_OPT_NATIVE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_NUMERICAL
GECODE_OPT_EXACT
GECODE_OPT_CERTIFIED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_UNKNOWN
GECODE_OPT_OPTIMAL
GECODE_OPT_INFEASIBLE
GECODE_OPT_UNBOUNDED
GECODE_OPT_INFEASIBLE_OR_UNBOUNDED
GECODE_OPT_TIME_LIMIT
GECODE_OPT_NODE_LIMIT
GECODE_OPT_MEMORY_LIMIT
GECODE_OPT_ITERATION_LIMIT
GECODE_OPT_SOLUTION_LIMIT
GECODE_OPT_OBJECTIVE_LIMIT
GECODE_OPT_CANCELLED
GECODE_OPT_NUMERICAL_FAILURE
GECODE_OPT_UNSUPPORTED
GECODE_OPT_INVALID_MODEL
GECODE_OPT_BACKEND_ERROR

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_OBJECTIVE
GECODE_OPT_BEST_BOUND
GECODE_OPT_ABSOLUTE_GAP
GECODE_OPT_RELATIVE_GAP
GECODE_OPT_NATIVE_GAP

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_BACKEND_NAME
GECODE_OPT_BACKEND_VERSION
GECODE_OPT_MESSAGE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_POOL_INCOMPLETE
GECODE_OPT_POOL_REQUESTED_LIMIT
GECODE_OPT_POOL_EXHAUSTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_RELAX_LOWER
GECODE_OPT_RELAX_UPPER

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_REPAIR_MINIMUM_VIOLATION
GECODE_OPT_REPAIR_VIOLATION
GECODE_OPT_REPAIR_ORIGINAL_OBJECTIVE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_REPAIR_MESSAGE
GECODE_OPT_REPAIR_WORKFLOW_MESSAGE
GECODE_OPT_REPAIR_VALIDATION_MESSAGE
GECODE_OPT_REPAIR_ITEM_NAME
GECODE_OPT_REPAIR_STAGE_NAME

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_QP_VENDOR_OBJECTIVE
GECODE_OPT_QP_VENDOR_DUAL_ESTIMATE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_QP_CHECK_MESSAGE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_QP_SQUARE_RESIDUALS
GECODE_OPT_QP_ORIGINAL_GRADIENT

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_LP_NOT_REQUESTED
GECODE_OPT_LP_AVAILABLE
GECODE_OPT_LP_UNAVAILABLE
GECODE_OPT_LP_REJECTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_LP_REASON_NONE
GECODE_OPT_LP_REASON_NOT_REQUESTED
GECODE_OPT_LP_REASON_UNSUPPORTED
GECODE_OPT_LP_REASON_NO_BACKEND_SOLVE
GECODE_OPT_LP_REASON_NO_PRIMAL_POINT
GECODE_OPT_LP_REASON_NOT_OPTIMAL
GECODE_OPT_LP_REASON_NO_DUAL_POINT
GECODE_OPT_LP_REASON_NO_BASIS
GECODE_OPT_LP_REASON_ELIDED_CONSTANT_ROWS
GECODE_OPT_LP_REASON_INTERRUPTED
GECODE_OPT_LP_REASON_INVALID_BACKEND_DATA
GECODE_OPT_LP_REASON_FAILED_CHECKS
GECODE_OPT_LP_REASON_ALLOCATION_FAILURE
GECODE_OPT_LP_REASON_INVALID_MODEL

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_LP_BASIS_LOWER
GECODE_OPT_LP_BASIS_BASIC
GECODE_OPT_LP_BASIS_UPPER
GECODE_OPT_LP_BASIS_ZERO
GECODE_OPT_LP_BASIS_NONBASIC_UNSPECIFIED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_LP_DUAL_NONE
GECODE_OPT_LP_DUAL_BACKEND
GECODE_OPT_LP_DUAL_DERIVED_CONSTANT_ROW

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_LP_PRIMAL_ROWS
GECODE_OPT_LP_DUAL_POINT
GECODE_OPT_LP_BASIS

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_LP_BACKEND_NAME
GECODE_OPT_LP_BACKEND_VERSION
GECODE_OPT_LP_PRIMAL_MESSAGE
GECODE_OPT_LP_DUAL_MESSAGE
GECODE_OPT_LP_BASIS_MESSAGE
GECODE_OPT_LP_CHECK_MESSAGE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_LP_CAP_BACKEND
GECODE_OPT_LP_CAP_VERSION
GECODE_OPT_LP_CAP_LIMITATION

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_BASIS_CALLER
GECODE_OPT_BASIS_OBSERVATIONS

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_BASIS_NOT_ATTEMPTED
GECODE_OPT_BASIS_ACCEPTED
GECODE_OPT_BASIS_REPAIRED
GECODE_OPT_BASIS_REJECTED
GECODE_OPT_BASIS_INTERRUPTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SCENARIO_AUTOMATIC
GECODE_OPT_SCENARIO_COLD

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SCENARIO_REJECTED
GECODE_OPT_SCENARIO_INTERRUPTED
GECODE_OPT_SCENARIO_COMPLETE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SCENARIO_NOT_STARTED
GECODE_OPT_SCENARIO_ATTEMPTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SCENARIO_NAME
GECODE_OPT_SCENARIO_VALIDATION_MESSAGE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_NO_EVIDENCE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_AUTOMATIC
GECODE_OPT_EVIDENCE_PRIMAL_RAY
GECODE_OPT_EVIDENCE_FARKAS
GECODE_OPT_EVIDENCE_BOTH

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_NOT_REQUESTED
GECODE_OPT_EVIDENCE_AVAILABLE
GECODE_OPT_EVIDENCE_UNAVAILABLE
GECODE_OPT_EVIDENCE_REJECTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_REASON_NONE
GECODE_OPT_EVIDENCE_REASON_NOT_REQUESTED
GECODE_OPT_EVIDENCE_REASON_UNSUPPORTED
GECODE_OPT_EVIDENCE_REASON_NO_FEASIBLE_BASE
GECODE_OPT_EVIDENCE_REASON_NO_IMPROVEMENT
GECODE_OPT_EVIDENCE_REASON_NO_CONTRADICTION
GECODE_OPT_EVIDENCE_REASON_STOPPED
GECODE_OPT_EVIDENCE_REASON_INVALID_BACKEND
GECODE_OPT_EVIDENCE_REASON_FAILED_CHECKS
GECODE_OPT_EVIDENCE_REASON_INCONSISTENT
GECODE_OPT_EVIDENCE_REASON_INVALID_MODEL
GECODE_OPT_EVIDENCE_REASON_RESOURCE_LIMIT
GECODE_OPT_EVIDENCE_REASON_ALLOCATION

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_COMPLETE
GECODE_OPT_EVIDENCE_INTERRUPTED
GECODE_OPT_EVIDENCE_ANALYSIS_REJECTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_FEASIBLE_BASE
GECODE_OPT_EVIDENCE_RECESSION
GECODE_OPT_EVIDENCE_FARKAS_PHASE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_LOWER
GECODE_OPT_EVIDENCE_UPPER

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_SOURCE_VARIABLE
GECODE_OPT_EVIDENCE_ROW_SIDE
GECODE_OPT_EVIDENCE_VARIABLE_SIDE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_PRIMAL_GROUP
GECODE_OPT_EVIDENCE_FARKAS_GROUP

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_BASE_VALUE
GECODE_OPT_EVIDENCE_DIRECTION_VALUE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_MESSAGE
GECODE_OPT_EVIDENCE_PRIMAL_MESSAGE
GECODE_OPT_EVIDENCE_FARKAS_MESSAGE
GECODE_OPT_EVIDENCE_BASE_CHECK_MESSAGE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_EVIDENCE_RAW_BACKEND
GECODE_OPT_EVIDENCE_RAW_BACKEND_VERSION
GECODE_OPT_EVIDENCE_RAW_MESSAGE
GECODE_OPT_EVIDENCE_STAGE_CHECK_MESSAGE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_NO_SENSITIVITY

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SENSITIVITY_OBJECTIVE
GECODE_OPT_SENSITIVITY_EQUALITY_RHS

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SENSITIVITY_NOT_REQUESTED
GECODE_OPT_SENSITIVITY_AVAILABLE
GECODE_OPT_SENSITIVITY_UNAVAILABLE
GECODE_OPT_SENSITIVITY_REJECTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SENSITIVITY_COMPLETE
GECODE_OPT_SENSITIVITY_PARTIAL
GECODE_OPT_SENSITIVITY_INTERRUPTED
GECODE_OPT_SENSITIVITY_ANALYSIS_REJECTED

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SENSITIVITY_REASON_NONE
GECODE_OPT_SENSITIVITY_REASON_NOT_REQUESTED
GECODE_OPT_SENSITIVITY_REASON_UNSUPPORTED
GECODE_OPT_SENSITIVITY_REASON_NOT_OPTIMAL
GECODE_OPT_SENSITIVITY_REASON_NO_BASIS
GECODE_OPT_SENSITIVITY_REASON_INVALID_SOURCE
GECODE_OPT_SENSITIVITY_REASON_INVALID_BASIS
GECODE_OPT_SENSITIVITY_REASON_CHANGED_BASIS
GECODE_OPT_SENSITIVITY_REASON_REFERENCE_CHECKS
GECODE_OPT_SENSITIVITY_REASON_SYSTEM_CHECKS
GECODE_OPT_SENSITIVITY_REASON_INTERVAL_CHECKS
GECODE_OPT_SENSITIVITY_REASON_RESOURCE_LIMIT
GECODE_OPT_SENSITIVITY_REASON_STOPPED
GECODE_OPT_SENSITIVITY_REASON_ALLOCATION
GECODE_OPT_SENSITIVITY_REASON_BACKEND

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_RANGE_FINITE
GECODE_OPT_RANGE_NEGATIVE_INFINITY
GECODE_OPT_RANGE_POSITIVE_INFINITY

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SENSITIVITY_LOWER
GECODE_OPT_SENSITIVITY_UPPER
GECODE_OPT_SENSITIVITY_FIXED
GECODE_OPT_SENSITIVITY_FREE

anonymous enum

anonymous enum

Enumerator
GECODE_OPT_SENSITIVITY_MESSAGE
GECODE_OPT_SENSITIVITY_BACKEND_VERSION
GECODE_OPT_SENSITIVITY_ENTRY_MESSAGE
GECODE_OPT_SENSITIVITY_INTERVAL_MESSAGE
GECODE_OPT_SENSITIVITY_PRIMAL_MESSAGE
GECODE_OPT_SENSITIVITY_KKT_MESSAGE

Function Documentation

gecode_opt_v1_abi_version()

GECODE_OPT_API uint32_t gecode_opt_v1_abi_version

(

void

)

gecode_opt_v1_last_error()

GECODE_OPT_API const char * gecode_opt_v1_last_error

(

void

)

gecode_opt_v1_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_options_default	(	gecode_opt_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_capabilities()

GECODE_OPT_API int32_t gecode_opt_v1_capabilities	(	int32_t	backend,
		int32_t *	available,
		int32_t *	lp,
		int32_t *	mip )

gecode_opt_v1_model_create()

GECODE_OPT_API int32_t gecode_opt_v1_model_create

(

gecode_opt_handle *

)

gecode_opt_v1_model_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_model_destroy

(

gecode_opt_handle

)

gecode_opt_v1_model_identity()

GECODE_OPT_API int32_t gecode_opt_v1_model_identity	(	gecode_opt_handle	,
		uint64_t *	model_id,
		uint64_t *	revision )

gecode_opt_v1_model_read()

GECODE_OPT_API int32_t gecode_opt_v1_model_read	(	const char *	filename,
		gecode_opt_handle *	)

gecode_opt_v1_model_write()

GECODE_OPT_API int32_t gecode_opt_v1_model_write	(	gecode_opt_handle	,
		const char *	filename )

gecode_opt_v1_model_add_variable()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_variable	(	gecode_opt_handle	,
		int32_t	type,
		double	lower,
		double	upper,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_add_row()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_row	(	gecode_opt_handle	,
		const gecode_opt_term *	,
		uint64_t	count,
		double	lower,
		double	upper,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_add_variables()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_variables	(	gecode_opt_handle	,
		const gecode_opt_variable_spec_v1 *	,
		uint64_t	count,
		gecode_opt_id *	output,
		uint64_t	capacity )

gecode_opt_v1_model_add_rows()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_rows	(	gecode_opt_handle	,
		const gecode_opt_row_spec_v1 *	,
		uint64_t	count,
		gecode_opt_id *	output,
		uint64_t	capacity )

gecode_opt_v1_model_add_rows_sparse()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_rows_sparse	(	gecode_opt_handle	,
		const gecode_opt_sparse_row_batch_v1 *	,
		gecode_opt_id *	output,
		uint64_t	capacity )

gecode_opt_v1_model_set_objective()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_objective	(	gecode_opt_handle	,
		const gecode_opt_term *	,
		uint64_t	count,
		int32_t	sense,
		double	offset )

gecode_opt_v1_model_set_variable_bounds()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_variable_bounds	(	gecode_opt_handle	,
		gecode_opt_id	,
		double	lower,
		double	upper )

gecode_opt_v1_model_set_row_bounds()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_row_bounds	(	gecode_opt_handle	,
		gecode_opt_id	,
		double	lower,
		double	upper )

gecode_opt_v1_model_set_coefficient()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_coefficient	(	gecode_opt_handle	,
		gecode_opt_id	row,
		gecode_opt_id	variable,
		double	value )

gecode_opt_v1_model_set_objective_coefficient()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_objective_coefficient	(	gecode_opt_handle	,
		gecode_opt_id	variable,
		double	value )

gecode_opt_v1_model_set_objective_offset()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_objective_offset	(	gecode_opt_handle	,
		double	offset )

gecode_opt_v1_model_set_variable_name()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_variable_name	(	gecode_opt_handle	,
		gecode_opt_id	,
		const char *	)

gecode_opt_v1_model_set_row_name()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_row_name	(	gecode_opt_handle	,
		gecode_opt_id	,
		const char *	)

gecode_opt_v1_model_remove_variable()

GECODE_OPT_API int32_t gecode_opt_v1_model_remove_variable	(	gecode_opt_handle	,
		gecode_opt_id	)

gecode_opt_v1_model_remove_row()

GECODE_OPT_API int32_t gecode_opt_v1_model_remove_row	(	gecode_opt_handle	,
		gecode_opt_id	)

gecode_opt_v1_model_add_all_different()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_all_different	(	gecode_opt_handle	,
		const gecode_opt_id *	variables,
		uint64_t	count,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_add_element()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_element	(	gecode_opt_handle	,
		gecode_opt_id	index,
		const gecode_opt_id *	elements,
		uint64_t	count,
		gecode_opt_id	result,
		int64_t	index_base,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_add_table()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_table	(	gecode_opt_handle	,
		const gecode_opt_id *	variables,
		uint64_t	arity,
		const int64_t *	values,
		uint64_t	value_count,
		uint64_t	tuple_count,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_add_cumulative()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_cumulative	(	gecode_opt_handle	,
		const gecode_opt_id *	starts,
		uint64_t	count,
		const int64_t *	durations,
		uint64_t	duration_count,
		const int64_t *	heights,
		uint64_t	height_count,
		int64_t	capacity,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_add_circuit()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_circuit	(	gecode_opt_handle	,
		const gecode_opt_id *	successors,
		uint64_t	count,
		int64_t	index_base,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_add_regular()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_regular	(	gecode_opt_handle	,
		const gecode_opt_id *	variables,
		uint64_t	variable_count,
		uint64_t	state_count,
		uint64_t	initial_state,
		const gecode_opt_regular_transition_v1 *	transitions,
		uint64_t	transition_count,
		uint64_t	transition_element_size,
		const uint64_t *	final_states,
		uint64_t	final_count,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_model_remove_global()

GECODE_OPT_API int32_t gecode_opt_v1_model_remove_global	(	gecode_opt_handle	,
		gecode_opt_id	)

gecode_opt_v1_model_set_global_name()

GECODE_OPT_API int32_t gecode_opt_v1_model_set_global_name	(	gecode_opt_handle	,
		gecode_opt_id	,
		const char *	)

gecode_opt_v1_model_add_indicator()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_indicator	(	gecode_opt_handle	,
		gecode_opt_id	activator,
		int32_t	active_value,
		const gecode_opt_term *	,
		uint64_t	count,
		double	lower,
		double	upper,
		const char *	name,
		gecode_opt_id *	indicator,
		int32_t *	has_gate,
		gecode_opt_id *	gate )

gecode_opt_v1_model_remove_indicator()

GECODE_OPT_API int32_t gecode_opt_v1_model_remove_indicator	(	gecode_opt_handle	,
		gecode_opt_id	)

gecode_opt_v1_model_add_boolean_and()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_boolean_and	(	gecode_opt_handle	,
		gecode_opt_id	result,
		const gecode_opt_id *	inputs,
		uint64_t	count,
		const char *	name )

gecode_opt_v1_model_add_boolean_or()

GECODE_OPT_API int32_t gecode_opt_v1_model_add_boolean_or	(	gecode_opt_handle	,
		gecode_opt_id	result,
		const gecode_opt_id *	inputs,
		uint64_t	count,
		const char *	name )

gecode_opt_v1_cancellation_create()

GECODE_OPT_API int32_t gecode_opt_v1_cancellation_create

(

gecode_opt_handle *

)

gecode_opt_v1_cancellation_cancel()

GECODE_OPT_API int32_t gecode_opt_v1_cancellation_cancel

(

gecode_opt_handle

)

gecode_opt_v1_cancellation_is_cancelled()

GECODE_OPT_API int32_t gecode_opt_v1_cancellation_is_cancelled	(	gecode_opt_handle	,
		int32_t *	)

gecode_opt_v1_cancellation_copy()

GECODE_OPT_API int32_t gecode_opt_v1_cancellation_copy	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_cancellation_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_cancellation_destroy

(

gecode_opt_handle

)

gecode_opt_v1_session_create()

GECODE_OPT_API int32_t gecode_opt_v1_session_create

(

gecode_opt_handle *

)

gecode_opt_v1_session_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_session_destroy

(

gecode_opt_handle

)

gecode_opt_v1_session_reset()

GECODE_OPT_API int32_t gecode_opt_v1_session_reset

(

gecode_opt_handle

)

gecode_opt_v1_session_statistics()

GECODE_OPT_API int32_t gecode_opt_v1_session_statistics	(	gecode_opt_handle	,
		gecode_opt_session_statistics_v1 *	,
		uint64_t	size )

gecode_opt_v1_solve()

GECODE_OPT_API int32_t gecode_opt_v1_solve	(	gecode_opt_handle	model,
		const gecode_opt_options_v1 *	,
		gecode_opt_handle *	result )

gecode_opt_v1_session_solve()

GECODE_OPT_API int32_t gecode_opt_v1_session_solve	(	gecode_opt_handle	session,
		gecode_opt_handle	model,
		const gecode_opt_options_v1 *	,
		gecode_opt_handle *	result )

gecode_opt_v1_result_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_result_destroy

(

gecode_opt_handle

)

gecode_opt_v1_result_info()

GECODE_OPT_API int32_t gecode_opt_v1_result_info	(	gecode_opt_handle	,
		gecode_opt_result_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_result_number()

GECODE_OPT_API int32_t gecode_opt_v1_result_number	(	gecode_opt_handle	,
		int32_t	field,
		int32_t *	present,
		double *	value )

gecode_opt_v1_result_value()

GECODE_OPT_API int32_t gecode_opt_v1_result_value	(	gecode_opt_handle	,
		gecode_opt_id	variable,
		double *	value )

gecode_opt_v1_result_values()

GECODE_OPT_API int32_t gecode_opt_v1_result_values	(	gecode_opt_handle	,
		double *	values,
		uint8_t *	active,
		uint8_t *	present,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_result_text()

GECODE_OPT_API int32_t gecode_opt_v1_result_text	(	gecode_opt_handle	,
		int32_t	field,
		char *	buffer,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_capabilities()

GECODE_OPT_API int32_t gecode_opt_v1_lp_capabilities	(	gecode_opt_lp_capabilities_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_capability_text()

GECODE_OPT_API int32_t gecode_opt_v1_lp_capability_text	(	int32_t	field,
		uint64_t	index,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_lp_options_default	(	gecode_opt_lp_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_solve_lp_observed()

GECODE_OPT_API int32_t gecode_opt_v1_solve_lp_observed	(	gecode_opt_handle	model,
		const gecode_opt_lp_options_v1 *	,
		gecode_opt_handle *	)

gecode_opt_v1_session_solve_lp_observed()

GECODE_OPT_API int32_t gecode_opt_v1_session_solve_lp_observed	(	gecode_opt_handle	session,
		gecode_opt_handle	model,
		const gecode_opt_lp_options_v1 *	,
		gecode_opt_handle *	)

gecode_opt_v1_lp_observed_result_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_destroy

(

gecode_opt_handle

)

gecode_opt_v1_lp_observed_result_copy_result()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_copy_result	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_lp_observed_result_info()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_info	(	gecode_opt_handle	,
		gecode_opt_lp_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_observed_result_metadata()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_metadata	(	gecode_opt_handle	,
		gecode_opt_lp_metadata_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_observed_result_group()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_group	(	gecode_opt_handle	,
		int32_t	group,
		gecode_opt_lp_group_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_observed_result_checks()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_checks	(	gecode_opt_handle	,
		gecode_opt_lp_checks_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_observed_result_row()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_row	(	gecode_opt_handle	,
		gecode_opt_id	,
		gecode_opt_lp_row_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_observed_result_column()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_column	(	gecode_opt_handle	,
		gecode_opt_id	,
		gecode_opt_lp_column_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_observed_result_rows()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_rows	(	gecode_opt_handle	,
		gecode_opt_lp_row_v1 *	,
		uint64_t	element_size,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_observed_result_columns()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_columns	(	gecode_opt_handle	,
		gecode_opt_lp_column_v1 *	,
		uint64_t	element_size,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_observed_result_text()

GECODE_OPT_API int32_t gecode_opt_v1_lp_observed_result_text	(	gecode_opt_handle	,
		int32_t	field,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_basis_from_observed()

GECODE_OPT_API int32_t gecode_opt_v1_basis_from_observed	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_basis_from_model()

GECODE_OPT_API int32_t gecode_opt_v1_basis_from_model	(	gecode_opt_handle	,
		const int32_t *	columns,
		uint64_t	column_count,
		const int32_t *	rows,
		uint64_t	row_count,
		gecode_opt_handle *	)

gecode_opt_v1_basis_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_basis_destroy

(

gecode_opt_handle

)

gecode_opt_v1_basis_info()

GECODE_OPT_API int32_t gecode_opt_v1_basis_info	(	gecode_opt_handle	,
		gecode_opt_basis_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_basis_statuses()

GECODE_OPT_API int32_t gecode_opt_v1_basis_statuses	(	gecode_opt_handle	,
		int32_t	entity_kind,
		int32_t *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_basis_row()

GECODE_OPT_API int32_t gecode_opt_v1_basis_row	(	gecode_opt_handle	,
		gecode_opt_id	,
		int32_t *	)

gecode_opt_v1_basis_column()

GECODE_OPT_API int32_t gecode_opt_v1_basis_column	(	gecode_opt_handle	,
		gecode_opt_id	,
		int32_t *	)

gecode_opt_v1_solve_lp_with_basis()

GECODE_OPT_API int32_t gecode_opt_v1_solve_lp_with_basis	(	gecode_opt_handle	model,
		gecode_opt_handle	basis,
		const gecode_opt_lp_options_v1 *	,
		gecode_opt_handle *	)

gecode_opt_v1_session_solve_lp_with_basis()

GECODE_OPT_API int32_t gecode_opt_v1_session_solve_lp_with_basis	(	gecode_opt_handle	session,
		gecode_opt_handle	model,
		gecode_opt_handle	basis,
		const gecode_opt_lp_options_v1 *	,
		gecode_opt_handle *	)

gecode_opt_v1_basis_result_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_basis_result_destroy

(

gecode_opt_handle

)

gecode_opt_v1_basis_result_info()

GECODE_OPT_API int32_t gecode_opt_v1_basis_result_info	(	gecode_opt_handle	,
		gecode_opt_basis_result_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_basis_result_message()

GECODE_OPT_API int32_t gecode_opt_v1_basis_result_message	(	gecode_opt_handle	,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_basis_result_copy_observed()

GECODE_OPT_API int32_t gecode_opt_v1_basis_result_copy_observed	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_basis_result_copy_basis()

GECODE_OPT_API int32_t gecode_opt_v1_basis_result_copy_basis	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_quadratic_capabilities()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_capabilities

(

int32_t *

available

)

gecode_opt_v1_quadratic_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_options_default	(	gecode_opt_quadratic_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_quadratic_model_create()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_create

(

gecode_opt_handle *

)

gecode_opt_v1_quadratic_model_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_destroy

(

gecode_opt_handle

)

gecode_opt_v1_quadratic_model_identity()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_identity	(	gecode_opt_handle	,
		uint64_t *	model_id,
		uint64_t *	revision )

gecode_opt_v1_quadratic_model_add_continuous()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_add_continuous	(	gecode_opt_handle	,
		double	lower,
		double	upper,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_quadratic_model_add_row()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_add_row	(	gecode_opt_handle	,
		const gecode_opt_term *	,
		uint64_t	count,
		double	lower,
		double	upper,
		const char *	name,
		gecode_opt_id *	)

gecode_opt_v1_quadratic_model_set_objective()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_set_objective	(	gecode_opt_handle	,
		const gecode_opt_weighted_square_v1 *	,
		uint64_t	square_count,
		const gecode_opt_term *	linear,
		uint64_t	linear_count,
		int32_t	sense,
		double	offset )

gecode_opt_v1_quadratic_model_set_variable_bounds()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_set_variable_bounds	(	gecode_opt_handle	,
		gecode_opt_id	,
		double	lower,
		double	upper )

gecode_opt_v1_quadratic_model_set_row_bounds()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_set_row_bounds	(	gecode_opt_handle	,
		gecode_opt_id	,
		double	lower,
		double	upper )

gecode_opt_v1_quadratic_model_set_coefficient()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_set_coefficient	(	gecode_opt_handle	,
		gecode_opt_id	row,
		gecode_opt_id	variable,
		double	value )

gecode_opt_v1_quadratic_model_remove_variable()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_remove_variable	(	gecode_opt_handle	,
		gecode_opt_id	)

gecode_opt_v1_quadratic_model_remove_row()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_model_remove_row	(	gecode_opt_handle	,
		gecode_opt_id	)

gecode_opt_v1_quadratic_solve()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_solve	(	gecode_opt_handle	model,
		const gecode_opt_quadratic_options_v1 *	,
		gecode_opt_handle *	result )

gecode_opt_v1_quadratic_result_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_destroy

(

gecode_opt_handle

)

gecode_opt_v1_quadratic_result_info()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_info	(	gecode_opt_handle	,
		gecode_opt_quadratic_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_quadratic_result_checks()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_checks	(	gecode_opt_handle	,
		gecode_opt_quadratic_checks_v1 *	,
		uint64_t	size )

gecode_opt_v1_quadratic_result_number()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_number	(	gecode_opt_handle	,
		int32_t	field,
		int32_t *	present,
		double *	value )

gecode_opt_v1_quadratic_result_value()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_value	(	gecode_opt_handle	,
		gecode_opt_id	variable,
		double *	value )

gecode_opt_v1_quadratic_result_values()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_values	(	gecode_opt_handle	,
		double *	values,
		uint8_t *	active,
		uint8_t *	present,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_quadratic_result_array()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_array	(	gecode_opt_handle	,
		int32_t	field,
		double *	values,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_quadratic_result_text()

GECODE_OPT_API int32_t gecode_opt_v1_quadratic_result_text	(	gecode_opt_handle	,
		int32_t	field,
		char *	buffer,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_pool_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_pool_options_default	(	gecode_opt_pool_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_pool_solve()

GECODE_OPT_API int32_t gecode_opt_v1_pool_solve	(	gecode_opt_handle	model,
		const gecode_opt_pool_options_v1 *	,
		gecode_opt_handle *	pool )

gecode_opt_v1_pool_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_pool_destroy

(

gecode_opt_handle

)

gecode_opt_v1_pool_info()

GECODE_OPT_API int32_t gecode_opt_v1_pool_info	(	gecode_opt_handle	,
		gecode_opt_pool_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_pool_projection()

GECODE_OPT_API int32_t gecode_opt_v1_pool_projection	(	gecode_opt_handle	,
		gecode_opt_id *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_pool_entry_info()

GECODE_OPT_API int32_t gecode_opt_v1_pool_entry_info	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_pool_entry_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_pool_entry_result()

GECODE_OPT_API int32_t gecode_opt_v1_pool_entry_result	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_handle *	result )

gecode_opt_v1_pool_entry_projection()

GECODE_OPT_API int32_t gecode_opt_v1_pool_entry_projection	(	gecode_opt_handle	,
		uint64_t	index,
		int64_t *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_pool_attempt_info()

GECODE_OPT_API int32_t gecode_opt_v1_pool_attempt_info	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_pool_attempt_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_pool_message()

GECODE_OPT_API int32_t gecode_opt_v1_pool_message	(	gecode_opt_handle	,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_repair_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_repair_options_default	(	gecode_opt_repair_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_repair_solve()

GECODE_OPT_API int32_t gecode_opt_v1_repair_solve	(	gecode_opt_handle	model,
		const gecode_opt_repair_options_v1 *	,
		gecode_opt_handle *	repair )

gecode_opt_v1_repair_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_repair_destroy

(

gecode_opt_handle

)

gecode_opt_v1_repair_info()

GECODE_OPT_API int32_t gecode_opt_v1_repair_info	(	gecode_opt_handle	,
		gecode_opt_repair_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_repair_number()

GECODE_OPT_API int32_t gecode_opt_v1_repair_number	(	gecode_opt_handle	,
		int32_t	field,
		int32_t *	present,
		double *	value )

gecode_opt_v1_repair_original_value()

GECODE_OPT_API int32_t gecode_opt_v1_repair_original_value	(	gecode_opt_handle	,
		gecode_opt_id	variable,
		double *	)

gecode_opt_v1_repair_original_values()

GECODE_OPT_API int32_t gecode_opt_v1_repair_original_values	(	gecode_opt_handle	,
		double *	,
		uint8_t *	active,
		uint8_t *	present,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_repair_variable_map()

GECODE_OPT_API int32_t gecode_opt_v1_repair_variable_map	(	gecode_opt_handle	,
		gecode_opt_id *	source,
		gecode_opt_id *	private_ids,
		uint8_t *	active,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_repair_validation()

GECODE_OPT_API int32_t gecode_opt_v1_repair_validation	(	gecode_opt_handle	,
		gecode_opt_validation_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_repair_item_info()

GECODE_OPT_API int32_t gecode_opt_v1_repair_item_info	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_repair_item_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_repair_stage_info()

GECODE_OPT_API int32_t gecode_opt_v1_repair_stage_info	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_repair_stage_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_repair_stage_result()

GECODE_OPT_API int32_t gecode_opt_v1_repair_stage_result	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_handle *	)

gecode_opt_v1_repair_final_result()

GECODE_OPT_API int32_t gecode_opt_v1_repair_final_result	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_repair_violation_lock()

GECODE_OPT_API int32_t gecode_opt_v1_repair_violation_lock	(	gecode_opt_handle	,
		int32_t *	present,
		gecode_opt_id *	)

gecode_opt_v1_repair_objective_values()

GECODE_OPT_API int32_t gecode_opt_v1_repair_objective_values	(	gecode_opt_handle	,
		double *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_repair_text()

GECODE_OPT_API int32_t gecode_opt_v1_repair_text	(	gecode_opt_handle	,
		int32_t	field,
		uint64_t	index,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_scenario_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_options_default	(	gecode_opt_scenario_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_solve_scenarios()

GECODE_OPT_API int32_t gecode_opt_v1_solve_scenarios	(	gecode_opt_handle	model,
		const gecode_opt_scenario_definition_v1 *	,
		uint64_t	count,
		uint64_t	element_size,
		const gecode_opt_scenario_options_v1 *	,
		gecode_opt_handle *	)

gecode_opt_v1_scenario_batch_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_destroy

(

gecode_opt_handle

)

gecode_opt_v1_scenario_batch_info()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_info	(	gecode_opt_handle	,
		gecode_opt_scenario_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_scenario_batch_id()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_id	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_scenario_id *	)

gecode_opt_v1_scenario_batch_outcome()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_outcome	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		gecode_opt_scenario_outcome_v1 *	,
		uint64_t	size )

gecode_opt_v1_scenario_batch_check()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_check	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		gecode_opt_scenario_check_v1 *	,
		uint64_t	size )

gecode_opt_v1_scenario_batch_copy_result()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_copy_result	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		gecode_opt_handle *	)

gecode_opt_v1_scenario_batch_map()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_map	(	gecode_opt_handle	,
		gecode_opt_id	original,
		gecode_opt_id *	private_id )

gecode_opt_v1_scenario_batch_value()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_value	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		gecode_opt_id	original,
		double *	)

gecode_opt_v1_scenario_batch_message()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_message	(	gecode_opt_handle	,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_scenario_batch_text()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_text	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		int32_t	field,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_scenario_batch_definition()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_definition	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		gecode_opt_scenario_definition_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_scenario_batch_objective()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_objective	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		gecode_opt_term *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_scenario_batch_bounds()

GECODE_OPT_API int32_t gecode_opt_v1_scenario_batch_bounds	(	gecode_opt_handle	,
		gecode_opt_scenario_id	,
		int32_t	entity_kind,
		gecode_opt_scenario_bounds_v1 *	,
		uint64_t	element_size,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_evidence_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_evidence_options_default	(	gecode_opt_evidence_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_analyze_lp_evidence()

GECODE_OPT_API int32_t gecode_opt_v1_analyze_lp_evidence	(	gecode_opt_handle	model,
		const gecode_opt_evidence_options_v1 *	,
		gecode_opt_handle *	)

gecode_opt_v1_lp_evidence_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_destroy

(

gecode_opt_handle

)

gecode_opt_v1_lp_evidence_info()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_info	(	gecode_opt_handle	,
		gecode_opt_evidence_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_group()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_group	(	gecode_opt_handle	,
		int32_t	group,
		gecode_opt_evidence_group_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_metadata()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_metadata	(	gecode_opt_handle	,
		gecode_opt_evidence_metadata_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_primal()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_primal	(	gecode_opt_handle	,
		gecode_opt_evidence_primal_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_farkas()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_farkas	(	gecode_opt_handle	,
		gecode_opt_evidence_farkas_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_slot()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_slot	(	gecode_opt_handle	,
		gecode_opt_id	source,
		gecode_opt_evidence_slot_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_slots()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_slots	(	gecode_opt_handle	,
		int32_t	entity_kind,
		gecode_opt_evidence_slot_v1 *	,
		uint64_t	element_size,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_evidence_value()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_value	(	gecode_opt_handle	,
		gecode_opt_id	source,
		int32_t	field,
		double *	)

gecode_opt_v1_lp_evidence_multiplier()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_multiplier	(	gecode_opt_handle	,
		gecode_opt_id	source,
		gecode_opt_evidence_slot_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_text()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_text	(	gecode_opt_handle	,
		int32_t	field,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_evidence_copy_stage()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_copy_stage	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_handle *	)

gecode_opt_v1_lp_evidence_stage_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_stage_destroy

(

gecode_opt_handle

)

gecode_opt_v1_lp_evidence_stage_info()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_stage_info	(	gecode_opt_handle	,
		gecode_opt_evidence_stage_v1 *	,
		uint64_t	size )

gecode_opt_v1_lp_evidence_stage_columns()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_stage_columns	(	gecode_opt_handle	,
		gecode_opt_evidence_column_v1 *	,
		uint64_t	element_size,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_evidence_stage_raw_values()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_stage_raw_values	(	gecode_opt_handle	,
		gecode_opt_evidence_raw_value_v1 *	,
		uint64_t	element_size,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_lp_evidence_stage_text()

GECODE_OPT_API int32_t gecode_opt_v1_lp_evidence_stage_text	(	gecode_opt_handle	,
		int32_t	field,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_sensitivity_options_default()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_options_default	(	gecode_opt_sensitivity_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_analyze_lp_sensitivity()

GECODE_OPT_API int32_t gecode_opt_v1_analyze_lp_sensitivity	(	gecode_opt_handle	observed,
		const gecode_opt_sensitivity_options_v1 *	,
		gecode_opt_handle *	)

gecode_opt_v1_sensitivity_destroy()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_destroy

(

gecode_opt_handle

)

gecode_opt_v1_sensitivity_info()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_info	(	gecode_opt_handle	,
		gecode_opt_sensitivity_info_v1 *	,
		uint64_t	size )

gecode_opt_v1_sensitivity_work()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_work	(	gecode_opt_handle	,
		gecode_opt_sensitivity_work_v1 *	,
		uint64_t	size )

gecode_opt_v1_sensitivity_checks_options()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_checks_options	(	gecode_opt_handle	,
		gecode_opt_sensitivity_checks_options_v1 *	,
		uint64_t	size )

gecode_opt_v1_sensitivity_reference_checks()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_reference_checks	(	gecode_opt_handle	,
		gecode_opt_sensitivity_reference_checks_v1 *	,
		uint64_t	size )

gecode_opt_v1_sensitivity_copy_source_observed()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_copy_source_observed	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_sensitivity_copy_basis()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_copy_basis	(	gecode_opt_handle	,
		gecode_opt_handle *	)

gecode_opt_v1_sensitivity_entry()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_entry	(	gecode_opt_handle	,
		uint64_t	index,
		gecode_opt_sensitivity_entry_v1 *	,
		uint64_t	size )

gecode_opt_v1_sensitivity_entries()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_entries	(	gecode_opt_handle	,
		gecode_opt_sensitivity_entry_v1 *	,
		uint64_t	element_size,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_sensitivity_objective()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_objective	(	gecode_opt_handle	,
		gecode_opt_id	,
		gecode_opt_sensitivity_entry_v1 *	,
		uint64_t	size )

gecode_opt_v1_sensitivity_equality_rhs()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_equality_rhs	(	gecode_opt_handle	,
		gecode_opt_id	,
		gecode_opt_sensitivity_entry_v1 *	,
		uint64_t	size )

gecode_opt_v1_sensitivity_factor_order()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_factor_order	(	gecode_opt_handle	,
		gecode_opt_id *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_sensitivity_active_slots()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_active_slots	(	gecode_opt_handle	,
		int32_t	entity_kind,
		uint8_t *	,
		uint64_t	capacity,
		uint64_t *	required )

gecode_opt_v1_sensitivity_text()

GECODE_OPT_API int32_t gecode_opt_v1_sensitivity_text	(	gecode_opt_handle	,
		int32_t	field,
		uint64_t	index,
		char *	,
		uint64_t	capacity,
		uint64_t *	required )