00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025 package parma_polyhedra_library;
00026
00027 import java.io.Writer;
00028 import java.io.IOException;
00029
00031
00057 public class MIP_Problem extends PPL_Object {
00058
00060
00062
00063
00074 public MIP_Problem(long dim) {
00075 build_cpp_object(dim);
00076 }
00077
00103 public MIP_Problem(long dim, Constraint_System cs, Linear_Expression obj,
00104 Optimization_Mode mode) {
00105 build_cpp_object(dim, cs, obj, mode);
00106 }
00107
00109 public MIP_Problem(MIP_Problem y) {
00110 build_cpp_object(y);
00111 }
00112
00117 public native void free();
00118
00120 protected native void finalize();
00121
00123
00125
00127
00128 public native long max_space_dimension();
00129
00131 public native long space_dimension();
00132
00137 public native Variables_Set integer_space_dimensions();
00138
00140 public native Constraint_System constraints();
00141
00143 public native Linear_Expression objective_function();
00144
00146 public native Optimization_Mode optimization_mode();
00147
00149 public native String ascii_dump();
00150
00152 public native String toString();
00153
00158 public native long total_memory_in_bytes();
00159
00161 public native boolean OK();
00162
00164
00166
00168
00169
00172 public native void clear();
00173
00188 public native void add_space_dimensions_and_embed(long m);
00189
00198 public native void add_to_integer_space_dimensions(Variables_Set i_vars);
00199
00207 public native void add_constraint(Constraint c);
00208
00217 public native void add_constraints(Constraint_System cs);
00218
00220
00225 public native void set_objective_function(Linear_Expression obj);
00226
00228 public native void set_optimization_mode(Optimization_Mode mode);
00229
00231
00233
00235
00236
00240 public native boolean is_satisfiable();
00241
00243
00248 public native MIP_Problem_Status solve();
00249
00267 public native void evaluate_objective_function(Generator evaluating_point,
00268 Coefficient num,
00269 Coefficient den);
00270
00272
00276 public native Generator feasible_point();
00277
00279
00284 public native Generator optimizing_point();
00285
00294 public native void optimal_value(Coefficient num, Coefficient den);
00295
00297
00299
00304 public native Control_Parameter_Value
00305 get_control_parameter(Control_Parameter_Name name);
00306
00310 public native void set_control_parameter(Control_Parameter_Value value);
00311
00313
00315 private native void build_cpp_object(long dim);
00316
00318 private native void build_cpp_object(long dim,
00319 Constraint_System cs,
00320 Linear_Expression obj,
00321 Optimization_Mode mode);
00322
00324 private native void build_cpp_object(MIP_Problem y);
00325 }