00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 package parma_polyhedra_library;
00025
00026 import java.io.Writer;
00027 import java.io.IOException;
00028
00033 public class Polyhedron extends PPL_Object {
00034 public native void swap(Polyhedron y);
00035
00036
00037
00038
00039 public native long space_dimension();
00040
00041 public native long affine_dimension();
00042
00043
00044
00045
00046
00047 public native Poly_Con_Relation relation_with(Constraint c);
00048
00049 public native Poly_Gen_Relation relation_with(Generator c);
00050
00051 public native Poly_Con_Relation relation_with(Congruence c);
00052
00053
00054
00055
00056
00057 public native Constraint_System constraints();
00058
00059 public native Congruence_System congruences();
00060
00061 public native Generator_System generators();
00062
00063
00064
00065
00066
00067 public native Constraint_System minimized_constraints();
00068
00069 public native Congruence_System minimized_congruences();
00070
00071 public native Generator_System minimized_generators();
00072
00073
00074
00075
00076
00077 public native boolean is_empty();
00078
00079 public native boolean is_universe();
00080
00081 public native boolean is_bounded();
00082
00083 public native boolean contains_integer_point();
00084
00085 public native boolean is_topologically_closed();
00086
00087 public native boolean is_discrete();
00088
00089
00090
00091
00092
00093 public native void topological_closure_assign();
00094
00095
00096
00097
00098
00099 public native boolean bounds_from_above(Linear_Expression expr);
00100
00101 public native boolean bounds_from_below(Linear_Expression expr);
00102
00103
00104
00105
00106
00107 public native boolean maximize(Linear_Expression expr,
00108 Coefficient sup_n, Coefficient sup_d,
00109 By_Reference<Boolean> maximum);
00110
00111 public native boolean minimize(Linear_Expression expr,
00112 Coefficient sup_n, Coefficient sup_d,
00113 By_Reference<Boolean> maximum);
00114
00115
00116
00117
00118
00119 public native boolean maximize(Linear_Expression expr,
00120 Coefficient sup_n, Coefficient sup_d,
00121 By_Reference<Boolean> maximum,
00122 Generator point);
00123
00124 public native boolean minimize(Linear_Expression expr,
00125 Coefficient sup_n, Coefficient sup_d,
00126 By_Reference<Boolean> maximum,
00127 Generator point);
00128
00129
00130
00131
00132
00133 public native boolean frequency(Linear_Expression expr,
00134 Coefficient freq_n, Coefficient freq_d,
00135 Coefficient val_n, Coefficient val_d);
00136
00137
00138
00139
00140 public native boolean contains(Polyhedron y);
00141
00142 public native boolean strictly_contains(Polyhedron y);
00143
00144 public native boolean is_disjoint_from(Polyhedron y);
00145
00146
00147
00148
00149
00150 public native boolean equals(Polyhedron p);
00151
00152 public boolean equals(Object y) {
00153 if (this == y)
00154 return true;
00155 if (y == null || y.getClass() != this.getClass())
00156 return false;
00157 return this.equals((Polyhedron) y);
00158 }
00159
00160
00161
00162 public native boolean OK();
00163
00164
00165
00166
00167 public native void add_constraint(Constraint c);
00168
00169 public native void add_congruence(Congruence c);
00170
00171 public native void add_generator(Generator c);
00172
00173
00174
00175
00176
00177 public native void add_constraints(Constraint_System c);
00178
00179 public native void add_congruences(Congruence_System c);
00180
00181 public native void add_generators(Generator_System c);
00182
00183
00184
00185
00186
00187 public native void refine_with_constraint(Constraint c);
00188
00189 public native void refine_with_congruence(Congruence c);
00190
00191
00192
00193
00194
00195 public native void refine_with_constraints(Constraint_System c);
00196
00197 public native void refine_with_congruences(Congruence_System c);
00198
00199
00200
00201
00202
00203 public native void intersection_assign(Polyhedron p);
00204
00205 public native void upper_bound_assign(Polyhedron p);
00206
00207 public native void difference_assign(Polyhedron p);
00208
00209 public native void concatenate_assign(Polyhedron p);
00210
00211 public native void time_elapse_assign(Polyhedron p);
00212
00213 public native void poly_hull_assign(Polyhedron p);
00214
00215 public native void poly_difference_assign(Polyhedron p);
00216
00217
00218
00219
00220
00221 public native boolean simplify_using_context_assign(Polyhedron p);
00222
00223
00224
00225
00226 public native boolean constrains(Variable var);
00227
00228
00229
00230
00231 public native void unconstrain_space_dimension(Variable var);
00232
00233
00234
00235
00236 public native void
00237 unconstrain_space_dimensions(Variables_Set vars);
00238
00239
00240
00241
00242 public native void affine_image(Variable var, Linear_Expression expr,
00243 Coefficient denominator);
00244
00245 public native void affine_preimage(Variable var, Linear_Expression expr,
00246 Coefficient denominator);
00247
00248
00249
00250
00251
00252 public native void bounded_affine_image(Variable var,
00253 Linear_Expression lb_expr,
00254 Linear_Expression ub_expr,
00255 Coefficient denominator);
00256
00257 public native void bounded_affine_preimage(Variable var,
00258 Linear_Expression lb_expr,
00259 Linear_Expression ub_expr,
00260 Coefficient denominator);
00261
00262
00263
00264
00265
00266 public native void generalized_affine_image(Variable var,
00267 Relation_Symbol relsym,
00268 Linear_Expression expr,
00269 Coefficient denominator);
00270
00271 public native void generalized_affine_preimage(Variable var,
00272 Relation_Symbol relsym,
00273 Linear_Expression expr,
00274 Coefficient denominator);
00275
00276
00277
00278
00279
00280 public native void generalized_affine_image(Linear_Expression lhs,
00281 Relation_Symbol relsym,
00282 Linear_Expression rhs);
00283
00284 public native void generalized_affine_preimage(Linear_Expression lhs,
00285 Relation_Symbol relsym,
00286 Linear_Expression rhs);
00287
00288
00289
00290
00291
00292 public native void add_space_dimensions_and_embed(long m);
00293
00294 public native void add_space_dimensions_and_project(long m);
00295
00296
00297
00298
00299
00300 public native void remove_space_dimensions(Variables_Set vars);
00301
00302
00303
00304
00305 public native void remove_higher_space_dimensions(long new_dimension);
00306
00307
00308
00309
00310 public native void expand_space_dimension(Variable var, long m);
00311
00312
00313
00314
00315 public native void fold_space_dimensions(Variables_Set vars,
00316 Variable dest);
00317
00318
00319
00320
00321 public native void map_space_dimensions(Partial_Function pfunc);
00322
00323
00324
00325
00326 public native void drop_some_non_integer_points
00327 (Integer complexity_threshold);
00328
00329
00330
00331
00332 public native void drop_some_non_integer_points_2
00333 (Variables_Set vars, Integer complexity_threshold);
00334
00335
00336
00337
00338 public native String ascii_dump();
00339
00340
00341
00342
00343 public native long external_memory_in_bytes();
00344
00345 public native long total_memory_in_bytes();
00346
00347
00348
00349
00350
00351
00352
00353 public native void BHRZ03_widening_assign(Polyhedron y,
00354 By_Reference<Integer> tp);
00355
00356 public native void H79_widening_assign(Polyhedron y,
00357 By_Reference<Integer> tp);
00358
00359
00360
00361
00362
00363
00364
00365 public native void widening_assign(Polyhedron y,
00366 By_Reference<Integer> tp);
00367
00368
00369
00370
00371
00372
00373 public native
00374 void limited_BHRZ03_extrapolation_assign(Polyhedron y,
00375 Constraint_System cs,
00376 By_Reference<Integer> tp);
00377
00378 public native
00379 void bounded_BHRZ03_extrapolation_assign(Polyhedron y,
00380 Constraint_System cs,
00381 By_Reference<Integer> tp);
00382
00383 public native
00384 void limited_H79_extrapolation_assign(Polyhedron y,
00385 Constraint_System cs,
00386 By_Reference<Integer> tp);
00387
00388 public native
00389 void bounded_H79_extrapolation_assign(Polyhedron y,
00390 Constraint_System cs,
00391 By_Reference<Integer> tp);
00392
00393
00394
00395
00396
00397
00398
00399 public native void wrap_assign(Variables_Set vars,
00400 Bounded_Integer_Type_Width w,
00401 Bounded_Integer_Type_Representation r,
00402 Bounded_Integer_Type_Overflow o,
00403 Constraint_System cs,
00404 long complexity_threshold,
00405 boolean wrap_individually);
00406
00407
00408
00409
00410 public native int hashCode();
00411
00412
00413
00414
00415 public native String toString();
00416
00417
00418
00419
00420 }