Module: ppl/ppl Branch: master Commit: ec402f20b005730cac93521b9ce89718da352e00 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec402f20b0057... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu Aug 30 15:15:47 2012 +0200 Added a Java testcase for method drop_some_non_integer_points(). --- interfaces/Java/tests/C_Polyhedron_test1.java | 21 +++++++++++++++++++++ 1 files changed, 21 insertions(+), 0 deletions(-) diff --git a/interfaces/Java/tests/C_Polyhedron_test1.java b/interfaces/Java/tests/C_Polyhedron_test1.java index 5859893..001b339 100644 --- a/interfaces/Java/tests/C_Polyhedron_test1.java +++ b/interfaces/Java/tests/C_Polyhedron_test1.java @@ -93,6 +93,27 @@ public class C_Polyhedron_test1 { return cs.isEmpty(); } + public static boolean test03() { + Variable A = new Variable(0); + Variable B = new Variable(1); + Generator_System gs = new Generator_System(); + gs.add(Generator.point(new Linear_Expression_Variable(A), + new Coefficient(2))); + gs.add(Generator.point(new Linear_Expression_Variable(B), + new Coefficient(2))); + C_Polyhedron ph = new C_Polyhedron(gs); + Variables_Set var_set = new Variables_Set(); + var_set.add(B); + ph.drop_some_non_integer_points(var_set, + Complexity_Class.ANY_COMPLEXITY); + Generator_System gs_out = ph.minimized_generators(); + boolean ok = (gs_out.size() == 1); + ph.drop_some_non_integer_points(Complexity_Class.ANY_COMPLEXITY); + gs_out = ph.minimized_generators(); + ok = ok && gs_out.isEmpty(); + return ok; + } + public static void main(String[] args) { Parma_Polyhedra_Library.initialize_library(); boolean test_result_ok =