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
|
examples/Partition_2/y_monotone_partition_2.C
------------------------------------
computes a y-monotone partition of a random polygon and checks that each
polygon produced is, in fact, y-monotone and that the polygons form a
partition of the original polygon.
file: examples/Partition_2/approx_convex_partition_2.C
---------------------------------------------
computes an approximately optimal convex partition of a random polygon and
checks the validity of the partition afterwards.
file: examples/Partition_2/greene_approx_convex_partition_2.C
----------------------------------------------------
computes an approximately optimal convex partition of a random polygon using
Greene's approximation algorithm and checks the validity of the partition
afterwards.
file: examples/Partition_2/optimal_convex_partition_2.C
----------------------------------------------
Computes an optimal convex partition of a particular polygon and checks the
validity of the partition afterwards.
NOTE: The assertions in these programs are superfluous unless postcondition
checking has been turned off.
|
