1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
|
/* Parma_Polyhedra_Library Java test class of the
Parma Polyhedra Library Java interface.
Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
This file is part of the Parma Polyhedra Library (PPL).
The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 3 of the License, or (at your
option) any later version.
The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
For the most up-to-date information see the Parma Polyhedra Library
site: http://bugseng.com/products/ppl/ . */
import parma_polyhedra_library.*;
public class Parma_Polyhedra_Library_test2 {
static {
try {
System.loadLibrary("ppl_java");
}
catch (UnsatisfiedLinkError e) {
System.out.println("Unable to load the library");
System.out.println(e.getMessage());
System.exit(-1);
}
}
// This code tests the timeout functions.
public static boolean test01() {
int csecs = 50;
int max_dimension = 20;
return timed_compute_open_hypercube_generators(csecs, max_dimension);
}
// This code tests the deterministic timeout functions.
public static boolean test02() {
int weight = 2000;
int max_dimension = 20;
return weighted_compute_open_hypercube_generators(weight,
max_dimension);
}
public static boolean test03() {
Linear_Expression_Variable le_a
= new Linear_Expression_Variable(new Variable(0));
Linear_Expression le_zero
= new Linear_Expression_Coefficient(new Coefficient("0"));
try {
Constraint c = new Constraint(le_a,
Relation_Symbol.NOT_EQUAL,
le_zero);
}
catch (Invalid_Argument_Exception e) {
PPL_Test.println_if_noisy("Expected invalid argument exception"
+ " caught!");
PPL_Test.println_if_noisy(e.getMessage());
return true;
}
PPL_Test.println_if_noisy("Expected invalid argument exception"
+ " NOT caught!");
return false;
}
public static void main(String[] args) {
Parma_Polyhedra_Library.initialize_library();
boolean test_result_ok =
Test_Executor.executeTests(Parma_Polyhedra_Library_test2.class);
Parma_Polyhedra_Library.finalize_library();
if (!test_result_ok)
System.exit(1);
System.exit(0);
}
private static void open_hypercube(int dimension, Polyhedron ph) {
Linear_Expression le_zero
= new Linear_Expression_Coefficient(new Coefficient("0"));
Linear_Expression le_one
= new Linear_Expression_Coefficient(new Coefficient("1"));
Constraint_System cs = new Constraint_System();
Linear_Expression le;
Constraint c;
for (int i = 0; i < dimension; ++i) {
// Variable(i) > 0.
le = new Linear_Expression_Variable(new Variable(i));
c = new Constraint(le, Relation_Symbol.GREATER_THAN, le_zero);
cs.add(c);
// Variable(i) < 1.
c = new Constraint(le, Relation_Symbol.LESS_THAN, le_one);
cs.add(c);
}
ph.add_constraints(cs);
}
private static boolean
timed_compute_open_hypercube_generators(int csecs,
int max_dimension) {
for (int i = 0; i <= max_dimension; ++i) {
Polyhedron ph = new NNC_Polyhedron(i, Degenerate_Element.UNIVERSE);
open_hypercube(i, ph);
PPL_Test.println_if_noisy("Hypercube of dimension " + i);
try {
Parma_Polyhedra_Library.set_timeout(csecs);
try {
ph.generators();
} finally {
Parma_Polyhedra_Library.reset_timeout();
}
} catch (Timeout_Exception e) {
PPL_Test.println_if_noisy("Expected timeout exception caught:");
PPL_Test.println_if_noisy(e.getMessage());
return true;
} catch (Exception e) {
PPL_Test.println_if_noisy("Unexpected exception caught:");
PPL_Test.println_if_noisy(e.getMessage());
return false;
}
}
// Should not reach this point.
PPL_Test.println_if_noisy("Expected timeout exception NOT caught!");
return false;
}
private static boolean
weighted_compute_open_hypercube_generators(int weight,
int max_dimension) {
for (int i = 0; i <= max_dimension; ++i) {
Polyhedron ph = new NNC_Polyhedron(i, Degenerate_Element.UNIVERSE);
open_hypercube(i, ph);
PPL_Test.println_if_noisy("Hypercube of dimension " + i);
try {
Parma_Polyhedra_Library.set_deterministic_timeout(weight, 0);
try {
ph.generators();
} finally {
Parma_Polyhedra_Library.reset_deterministic_timeout();
}
} catch (Timeout_Exception e) {
PPL_Test.println_if_noisy("Expected timeout exception caught:");
PPL_Test.println_if_noisy(e.getMessage());
return true;
} catch (Exception e) {
PPL_Test.println_if_noisy("Unexpected exception caught:");
PPL_Test.println_if_noisy(e.getMessage());
return false;
}
}
// Should not reach this point.
PPL_Test.println_if_noisy("Expected timeout exception NOT caught!");
return false;
}
}
|
