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 Constraints_Product_Grid_C_Polyhedron extends PPL_Object {
00034 protected native void finalize();
00035
00036
00037
00038
00039
00040 public Constraints_Product_Grid_C_Polyhedron(long num_dimensions,
00041 Degenerate_Element kind) {
00042 build_cpp_object(num_dimensions, kind);
00043 }
00044
00045 private Constraints_Product_Grid_C_Polyhedron() {
00046 }
00047
00048
00049
00050
00051
00052 public Constraints_Product_Grid_C_Polyhedron(Int8_Box y) {
00053 build_cpp_object(y);
00054 }
00055
00056 public Constraints_Product_Grid_C_Polyhedron(Int16_Box y) {
00057 build_cpp_object(y);
00058 }
00059
00060 public Constraints_Product_Grid_C_Polyhedron(Int32_Box y) {
00061 build_cpp_object(y);
00062 }
00063
00064 public Constraints_Product_Grid_C_Polyhedron(Int64_Box y) {
00065 build_cpp_object(y);
00066 }
00067
00068 public Constraints_Product_Grid_C_Polyhedron(Uint8_Box y) {
00069 build_cpp_object(y);
00070 }
00071
00072 public Constraints_Product_Grid_C_Polyhedron(Uint16_Box y) {
00073 build_cpp_object(y);
00074 }
00075
00076 public Constraints_Product_Grid_C_Polyhedron(Uint32_Box y) {
00077 build_cpp_object(y);
00078 }
00079
00080 public Constraints_Product_Grid_C_Polyhedron(Uint64_Box y) {
00081 build_cpp_object(y);
00082 }
00083
00084 public Constraints_Product_Grid_C_Polyhedron(Z_Box y) {
00085 build_cpp_object(y);
00086 }
00087
00088 public Constraints_Product_Grid_C_Polyhedron(Rational_Box y) {
00089 build_cpp_object(y);
00090 }
00091
00092 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int8_t y) {
00093 build_cpp_object(y);
00094 }
00095
00096 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int16_t y) {
00097 build_cpp_object(y);
00098 }
00099
00100 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int32_t y) {
00101 build_cpp_object(y);
00102 }
00103
00104 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int64_t y) {
00105 build_cpp_object(y);
00106 }
00107
00108 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_mpz_class y) {
00109 build_cpp_object(y);
00110 }
00111
00112 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_mpq_class y) {
00113 build_cpp_object(y);
00114 }
00115
00116 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int8_t y) {
00117 build_cpp_object(y);
00118 }
00119
00120 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int16_t y) {
00121 build_cpp_object(y);
00122 }
00123
00124 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int32_t y) {
00125 build_cpp_object(y);
00126 }
00127
00128 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int64_t y) {
00129 build_cpp_object(y);
00130 }
00131
00132 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_mpz_class y) {
00133 build_cpp_object(y);
00134 }
00135
00136 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_mpq_class y) {
00137 build_cpp_object(y);
00138 }
00139
00140 public Constraints_Product_Grid_C_Polyhedron(C_Polyhedron y) {
00141 build_cpp_object(y);
00142 }
00143
00144 public Constraints_Product_Grid_C_Polyhedron(NNC_Polyhedron y) {
00145 build_cpp_object(y);
00146 }
00147
00148 public Constraints_Product_Grid_C_Polyhedron(Grid y) {
00149 build_cpp_object(y);
00150 }
00151
00152 public Constraints_Product_Grid_C_Polyhedron(Float_Box y) {
00153 build_cpp_object(y);
00154 }
00155
00156 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_float y) {
00157 build_cpp_object(y);
00158 }
00159
00160 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_float y) {
00161 build_cpp_object(y);
00162 }
00163
00164 public Constraints_Product_Grid_C_Polyhedron(Double_Box y) {
00165 build_cpp_object(y);
00166 }
00167
00168 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_double y) {
00169 build_cpp_object(y);
00170 }
00171
00172 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_double y) {
00173 build_cpp_object(y);
00174 }
00175
00176 public Constraints_Product_Grid_C_Polyhedron(Long_Double_Box y) {
00177 build_cpp_object(y);
00178 }
00179
00180 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_long_double y) {
00181 build_cpp_object(y);
00182 }
00183
00184 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_long_double y) {
00185 build_cpp_object(y);
00186 }
00187
00188 public Constraints_Product_Grid_C_Polyhedron(Constraints_Product_Grid_C_Polyhedron y) {
00189 build_cpp_object(y);
00190 }
00191
00192
00193
00194
00195
00196
00197 public Constraints_Product_Grid_C_Polyhedron(Int8_Box y, Complexity_Class complexity) {
00198 build_cpp_object(y, complexity);
00199 }
00200
00201 public Constraints_Product_Grid_C_Polyhedron(Int16_Box y, Complexity_Class complexity) {
00202 build_cpp_object(y, complexity);
00203 }
00204
00205 public Constraints_Product_Grid_C_Polyhedron(Int32_Box y, Complexity_Class complexity) {
00206 build_cpp_object(y, complexity);
00207 }
00208
00209 public Constraints_Product_Grid_C_Polyhedron(Int64_Box y, Complexity_Class complexity) {
00210 build_cpp_object(y, complexity);
00211 }
00212
00213 public Constraints_Product_Grid_C_Polyhedron(Uint8_Box y, Complexity_Class complexity) {
00214 build_cpp_object(y, complexity);
00215 }
00216
00217 public Constraints_Product_Grid_C_Polyhedron(Uint16_Box y, Complexity_Class complexity) {
00218 build_cpp_object(y, complexity);
00219 }
00220
00221 public Constraints_Product_Grid_C_Polyhedron(Uint32_Box y, Complexity_Class complexity) {
00222 build_cpp_object(y, complexity);
00223 }
00224
00225 public Constraints_Product_Grid_C_Polyhedron(Uint64_Box y, Complexity_Class complexity) {
00226 build_cpp_object(y, complexity);
00227 }
00228
00229 public Constraints_Product_Grid_C_Polyhedron(Z_Box y, Complexity_Class complexity) {
00230 build_cpp_object(y, complexity);
00231 }
00232
00233 public Constraints_Product_Grid_C_Polyhedron(Rational_Box y, Complexity_Class complexity) {
00234 build_cpp_object(y, complexity);
00235 }
00236
00237 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int8_t y, Complexity_Class complexity) {
00238 build_cpp_object(y, complexity);
00239 }
00240
00241 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int16_t y, Complexity_Class complexity) {
00242 build_cpp_object(y, complexity);
00243 }
00244
00245 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int32_t y, Complexity_Class complexity) {
00246 build_cpp_object(y, complexity);
00247 }
00248
00249 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_int64_t y, Complexity_Class complexity) {
00250 build_cpp_object(y, complexity);
00251 }
00252
00253 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_mpz_class y, Complexity_Class complexity) {
00254 build_cpp_object(y, complexity);
00255 }
00256
00257 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_mpq_class y, Complexity_Class complexity) {
00258 build_cpp_object(y, complexity);
00259 }
00260
00261 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int8_t y, Complexity_Class complexity) {
00262 build_cpp_object(y, complexity);
00263 }
00264
00265 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int16_t y, Complexity_Class complexity) {
00266 build_cpp_object(y, complexity);
00267 }
00268
00269 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int32_t y, Complexity_Class complexity) {
00270 build_cpp_object(y, complexity);
00271 }
00272
00273 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_int64_t y, Complexity_Class complexity) {
00274 build_cpp_object(y, complexity);
00275 }
00276
00277 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_mpz_class y, Complexity_Class complexity) {
00278 build_cpp_object(y, complexity);
00279 }
00280
00281 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_mpq_class y, Complexity_Class complexity) {
00282 build_cpp_object(y, complexity);
00283 }
00284
00285 public Constraints_Product_Grid_C_Polyhedron(C_Polyhedron y, Complexity_Class complexity) {
00286 build_cpp_object(y, complexity);
00287 }
00288
00289 public Constraints_Product_Grid_C_Polyhedron(NNC_Polyhedron y, Complexity_Class complexity) {
00290 build_cpp_object(y, complexity);
00291 }
00292
00293 public Constraints_Product_Grid_C_Polyhedron(Grid y, Complexity_Class complexity) {
00294 build_cpp_object(y, complexity);
00295 }
00296
00297 public Constraints_Product_Grid_C_Polyhedron(Float_Box y, Complexity_Class complexity) {
00298 build_cpp_object(y, complexity);
00299 }
00300
00301 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_float y, Complexity_Class complexity) {
00302 build_cpp_object(y, complexity);
00303 }
00304
00305 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_float y, Complexity_Class complexity) {
00306 build_cpp_object(y, complexity);
00307 }
00308
00309 public Constraints_Product_Grid_C_Polyhedron(Double_Box y, Complexity_Class complexity) {
00310 build_cpp_object(y, complexity);
00311 }
00312
00313 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_double y, Complexity_Class complexity) {
00314 build_cpp_object(y, complexity);
00315 }
00316
00317 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_double y, Complexity_Class complexity) {
00318 build_cpp_object(y, complexity);
00319 }
00320
00321 public Constraints_Product_Grid_C_Polyhedron(Long_Double_Box y, Complexity_Class complexity) {
00322 build_cpp_object(y, complexity);
00323 }
00324
00325 public Constraints_Product_Grid_C_Polyhedron(BD_Shape_long_double y, Complexity_Class complexity) {
00326 build_cpp_object(y, complexity);
00327 }
00328
00329 public Constraints_Product_Grid_C_Polyhedron(Octagonal_Shape_long_double y, Complexity_Class complexity) {
00330 build_cpp_object(y, complexity);
00331 }
00332
00333 public Constraints_Product_Grid_C_Polyhedron(Constraints_Product_Grid_C_Polyhedron y, Complexity_Class complexity) {
00334 build_cpp_object(y, complexity);
00335 }
00336
00337
00338
00339
00340
00341
00342 public Constraints_Product_Grid_C_Polyhedron(Constraint_System cs) {
00343 build_cpp_object(cs);
00344 }
00345
00346 public Constraints_Product_Grid_C_Polyhedron(Congruence_System cs) {
00347 build_cpp_object(cs);
00348 }
00349
00350
00351
00352
00353
00354
00355 public native void swap(Constraints_Product_Grid_C_Polyhedron y);
00356
00357
00358
00359
00360 public native long space_dimension();
00361
00362 public native long affine_dimension();
00363
00364
00365
00366
00367
00368 public native Poly_Con_Relation relation_with(Constraint c);
00369
00370 public native Poly_Gen_Relation relation_with(Generator c);
00371
00372 public native Poly_Con_Relation relation_with(Congruence c);
00373
00374
00375
00376
00377
00378 public native boolean is_empty();
00379
00380 public native boolean is_universe();
00381
00382 public native boolean is_bounded();
00383
00384 public native boolean is_topologically_closed();
00385
00386 public native boolean is_discrete();
00387
00388
00389
00390
00391
00392 public native void topological_closure_assign();
00393
00394
00395
00396
00397
00398 public native boolean bounds_from_above(Linear_Expression expr);
00399
00400 public native boolean bounds_from_below(Linear_Expression expr);
00401
00402
00403
00404
00405
00406 public native boolean maximize(Linear_Expression expr,
00407 Coefficient sup_n, Coefficient sup_d,
00408 By_Reference<Boolean> maximum);
00409
00410 public native boolean minimize(Linear_Expression expr,
00411 Coefficient sup_n, Coefficient sup_d,
00412 By_Reference<Boolean> maximum);
00413
00414
00415
00416
00417
00418 public native boolean maximize(Linear_Expression expr,
00419 Coefficient sup_n, Coefficient sup_d,
00420 By_Reference<Boolean> maximum,
00421 Generator point);
00422
00423 public native boolean minimize(Linear_Expression expr,
00424 Coefficient sup_n, Coefficient sup_d,
00425 By_Reference<Boolean> maximum,
00426 Generator point);
00427
00428
00429
00430
00431
00432 public native boolean contains(Constraints_Product_Grid_C_Polyhedron y);
00433
00434 public native boolean strictly_contains(Constraints_Product_Grid_C_Polyhedron y);
00435
00436 public native boolean is_disjoint_from(Constraints_Product_Grid_C_Polyhedron y);
00437
00438
00439
00440
00441
00442 public native boolean equals(Constraints_Product_Grid_C_Polyhedron p);
00443
00444 public boolean equals(Object y) {
00445 if (this == y)
00446 return true;
00447 if (y == null || y.getClass() != this.getClass())
00448 return false;
00449 return this.equals((Constraints_Product_Grid_C_Polyhedron) y);
00450 }
00451
00452
00453
00454 public native boolean OK();
00455
00456
00457
00458
00459 public native void add_constraint(Constraint c);
00460
00461 public native void add_congruence(Congruence c);
00462
00463
00464
00465
00466
00467 public native void add_constraints(Constraint_System c);
00468
00469 public native void add_congruences(Congruence_System c);
00470
00471
00472
00473
00474
00475 public native void refine_with_constraint(Constraint c);
00476
00477 public native void refine_with_congruence(Congruence c);
00478
00479
00480
00481
00482
00483 public native void refine_with_constraints(Constraint_System c);
00484
00485 public native void refine_with_congruences(Congruence_System c);
00486
00487
00488
00489
00490
00491 public native void intersection_assign(Constraints_Product_Grid_C_Polyhedron p);
00492
00493 public native void upper_bound_assign(Constraints_Product_Grid_C_Polyhedron p);
00494
00495 public native void difference_assign(Constraints_Product_Grid_C_Polyhedron p);
00496
00497 public native void concatenate_assign(Constraints_Product_Grid_C_Polyhedron p);
00498
00499 public native void time_elapse_assign(Constraints_Product_Grid_C_Polyhedron p);
00500
00501
00502
00503
00504
00505 public native boolean upper_bound_assign_if_exact(Constraints_Product_Grid_C_Polyhedron y);
00506
00507
00508
00509
00510
00511
00512 public native boolean constrains(Variable var);
00513
00514
00515
00516
00517 public native void unconstrain_space_dimension(Variable var);
00518
00519
00520
00521
00522 public native void
00523 unconstrain_space_dimensions(Variables_Set vars);
00524
00525
00526
00527
00528 public native void affine_image(Variable var, Linear_Expression expr,
00529 Coefficient denominator);
00530
00531 public native void affine_preimage(Variable var, Linear_Expression expr,
00532 Coefficient denominator);
00533
00534
00535
00536
00537
00538 public native void bounded_affine_image(Variable var,
00539 Linear_Expression lb_expr,
00540 Linear_Expression ub_expr,
00541 Coefficient denominator);
00542
00543 public native void bounded_affine_preimage(Variable var,
00544 Linear_Expression lb_expr,
00545 Linear_Expression ub_expr,
00546 Coefficient denominator);
00547
00548
00549
00550
00551
00552 public native void generalized_affine_image(Variable var,
00553 Relation_Symbol relsym,
00554 Linear_Expression expr,
00555 Coefficient denominator);
00556
00557 public native void generalized_affine_preimage(Variable var,
00558 Relation_Symbol relsym,
00559 Linear_Expression expr,
00560 Coefficient denominator);
00561
00562
00563
00564
00565
00566 public native void generalized_affine_image(Linear_Expression lhs,
00567 Relation_Symbol relsym,
00568 Linear_Expression rhs);
00569
00570 public native void generalized_affine_preimage(Linear_Expression lhs,
00571 Relation_Symbol relsym,
00572 Linear_Expression rhs);
00573
00574
00575
00576
00577
00578 public native void add_space_dimensions_and_embed(long m);
00579
00580 public native void add_space_dimensions_and_project(long m);
00581
00582
00583
00584
00585
00586 public native void remove_space_dimensions(Variables_Set vars);
00587
00588
00589
00590
00591 public native void remove_higher_space_dimensions(long new_dimension);
00592
00593
00594
00595
00596 public native void expand_space_dimension(Variable var, long m);
00597
00598
00599
00600
00601 public native void fold_space_dimensions(Variables_Set vars,
00602 Variable dest);
00603
00604
00605
00606
00607 public native void map_space_dimensions(Partial_Function pfunc);
00608
00609
00610
00611
00612 public native void drop_some_non_integer_points
00613 (Integer complexity_threshold);
00614
00615
00616
00617
00618 public native void drop_some_non_integer_points_2
00619 (Variables_Set vars, Integer complexity_threshold);
00620
00621
00622
00623
00624 public native String ascii_dump();
00625
00626
00627
00628
00629 public native long external_memory_in_bytes();
00630
00631 public native long total_memory_in_bytes();
00632
00633
00634
00635
00636
00637
00638
00639 public native void widening_assign(Constraints_Product_Grid_C_Polyhedron y,
00640 By_Reference<Integer> tp);
00641
00642
00643
00644
00645 public native void free();
00646
00647
00648
00649
00650
00651 public native int hashCode();
00652
00653
00654
00655
00656 public native String toString();
00657
00658
00659
00660
00661
00662 private native void build_cpp_object(Constraint_System cs);
00663
00664 private native void build_cpp_object(Congruence_System cs);
00665
00666
00667
00668
00669
00670 private native void build_cpp_object(long num_dimensions,
00671 Degenerate_Element kind);
00672
00673
00674
00675
00676 private native void build_cpp_object(Int8_Box y);
00677
00678 private native void build_cpp_object(Int8_Box y,
00679 Complexity_Class complexity);
00680
00681 private native void build_cpp_object(Int16_Box y);
00682
00683 private native void build_cpp_object(Int16_Box y,
00684 Complexity_Class complexity);
00685
00686 private native void build_cpp_object(Int32_Box y);
00687
00688 private native void build_cpp_object(Int32_Box y,
00689 Complexity_Class complexity);
00690
00691 private native void build_cpp_object(Int64_Box y);
00692
00693 private native void build_cpp_object(Int64_Box y,
00694 Complexity_Class complexity);
00695
00696 private native void build_cpp_object(Uint8_Box y);
00697
00698 private native void build_cpp_object(Uint8_Box y,
00699 Complexity_Class complexity);
00700
00701 private native void build_cpp_object(Uint16_Box y);
00702
00703 private native void build_cpp_object(Uint16_Box y,
00704 Complexity_Class complexity);
00705
00706 private native void build_cpp_object(Uint32_Box y);
00707
00708 private native void build_cpp_object(Uint32_Box y,
00709 Complexity_Class complexity);
00710
00711 private native void build_cpp_object(Uint64_Box y);
00712
00713 private native void build_cpp_object(Uint64_Box y,
00714 Complexity_Class complexity);
00715
00716 private native void build_cpp_object(Z_Box y);
00717
00718 private native void build_cpp_object(Z_Box y,
00719 Complexity_Class complexity);
00720
00721 private native void build_cpp_object(Rational_Box y);
00722
00723 private native void build_cpp_object(Rational_Box y,
00724 Complexity_Class complexity);
00725
00726 private native void build_cpp_object(BD_Shape_int8_t y);
00727
00728 private native void build_cpp_object(BD_Shape_int8_t y,
00729 Complexity_Class complexity);
00730
00731 private native void build_cpp_object(BD_Shape_int16_t y);
00732
00733 private native void build_cpp_object(BD_Shape_int16_t y,
00734 Complexity_Class complexity);
00735
00736 private native void build_cpp_object(BD_Shape_int32_t y);
00737
00738 private native void build_cpp_object(BD_Shape_int32_t y,
00739 Complexity_Class complexity);
00740
00741 private native void build_cpp_object(BD_Shape_int64_t y);
00742
00743 private native void build_cpp_object(BD_Shape_int64_t y,
00744 Complexity_Class complexity);
00745
00746 private native void build_cpp_object(BD_Shape_mpz_class y);
00747
00748 private native void build_cpp_object(BD_Shape_mpz_class y,
00749 Complexity_Class complexity);
00750
00751 private native void build_cpp_object(BD_Shape_mpq_class y);
00752
00753 private native void build_cpp_object(BD_Shape_mpq_class y,
00754 Complexity_Class complexity);
00755
00756 private native void build_cpp_object(Octagonal_Shape_int8_t y);
00757
00758 private native void build_cpp_object(Octagonal_Shape_int8_t y,
00759 Complexity_Class complexity);
00760
00761 private native void build_cpp_object(Octagonal_Shape_int16_t y);
00762
00763 private native void build_cpp_object(Octagonal_Shape_int16_t y,
00764 Complexity_Class complexity);
00765
00766 private native void build_cpp_object(Octagonal_Shape_int32_t y);
00767
00768 private native void build_cpp_object(Octagonal_Shape_int32_t y,
00769 Complexity_Class complexity);
00770
00771 private native void build_cpp_object(Octagonal_Shape_int64_t y);
00772
00773 private native void build_cpp_object(Octagonal_Shape_int64_t y,
00774 Complexity_Class complexity);
00775
00776 private native void build_cpp_object(Octagonal_Shape_mpz_class y);
00777
00778 private native void build_cpp_object(Octagonal_Shape_mpz_class y,
00779 Complexity_Class complexity);
00780
00781 private native void build_cpp_object(Octagonal_Shape_mpq_class y);
00782
00783 private native void build_cpp_object(Octagonal_Shape_mpq_class y,
00784 Complexity_Class complexity);
00785
00786 private native void build_cpp_object(C_Polyhedron y);
00787
00788 private native void build_cpp_object(C_Polyhedron y,
00789 Complexity_Class complexity);
00790
00791 private native void build_cpp_object(NNC_Polyhedron y);
00792
00793 private native void build_cpp_object(NNC_Polyhedron y,
00794 Complexity_Class complexity);
00795
00796 private native void build_cpp_object(Grid y);
00797
00798 private native void build_cpp_object(Grid y,
00799 Complexity_Class complexity);
00800
00801 private native void build_cpp_object(Float_Box y);
00802
00803 private native void build_cpp_object(Float_Box y,
00804 Complexity_Class complexity);
00805
00806 private native void build_cpp_object(BD_Shape_float y);
00807
00808 private native void build_cpp_object(BD_Shape_float y,
00809 Complexity_Class complexity);
00810
00811 private native void build_cpp_object(Octagonal_Shape_float y);
00812
00813 private native void build_cpp_object(Octagonal_Shape_float y,
00814 Complexity_Class complexity);
00815
00816 private native void build_cpp_object(Double_Box y);
00817
00818 private native void build_cpp_object(Double_Box y,
00819 Complexity_Class complexity);
00820
00821 private native void build_cpp_object(BD_Shape_double y);
00822
00823 private native void build_cpp_object(BD_Shape_double y,
00824 Complexity_Class complexity);
00825
00826 private native void build_cpp_object(Octagonal_Shape_double y);
00827
00828 private native void build_cpp_object(Octagonal_Shape_double y,
00829 Complexity_Class complexity);
00830
00831 private native void build_cpp_object(Long_Double_Box y);
00832
00833 private native void build_cpp_object(Long_Double_Box y,
00834 Complexity_Class complexity);
00835
00836 private native void build_cpp_object(BD_Shape_long_double y);
00837
00838 private native void build_cpp_object(BD_Shape_long_double y,
00839 Complexity_Class complexity);
00840
00841 private native void build_cpp_object(Octagonal_Shape_long_double y);
00842
00843 private native void build_cpp_object(Octagonal_Shape_long_double y,
00844 Complexity_Class complexity);
00845
00846 private native void build_cpp_object(Constraints_Product_Grid_C_Polyhedron y);
00847
00848 private native void build_cpp_object(Constraints_Product_Grid_C_Polyhedron y,
00849 Complexity_Class complexity);
00850
00851
00852
00853
00854
00855
00856 }
00857