-
Notifications
You must be signed in to change notification settings - Fork 87
/
Copy pathtest.ml
32 lines (32 loc) · 1.72 KB
/
test.ml
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
val _ = use "../mini_prelude_ml.txt";
val _ = use "../std_prelude_ml.txt";
val _ = print "-------------------- BankersQueue --------------------\n";
val _ = use "BankersQueue_ml.txt";
val _ = print "-------------------- BatchedQueue --------------------\n";
val _ = use "BatchedQueue_ml.txt";
val _ = print "-------------------- BinaryRandomAccessLists --------------------\n";
val _ = use "BinaryRandomAccessLists_ml.txt";
val _ = print "-------------------- BinomialHeap --------------------\n";
val _ = use "BinomialHeap_ml.txt";
val _ = print "-------------------- BottomUpMergeSort --------------------\n";
val _ = use "BottomUpMergeSort_ml.txt";
val _ = print "-------------------- HoodMelvilleQueue --------------------\n";
val _ = use "HoodMelvilleQueue_ml.txt";
val _ = print "-------------------- ImplicitQueue --------------------\n";
val _ = use "ImplicitQueue_ml.txt";
val _ = print "-------------------- LazyPairingHeap --------------------\n";
val _ = use "LazyPairingHeap_ml.txt";
val _ = print "-------------------- LeftistHeap --------------------\n";
val _ = use "LeftistHeap_ml.txt";
val _ = print "-------------------- PairingHeap --------------------\n";
val _ = use "PairingHeap_ml.txt";
val _ = print "-------------------- PhysicistsQueue --------------------\n";
val _ = use "PhysicistsQueue_ml.txt";
val _ = print "-------------------- RealTimeQueue --------------------\n";
val _ = use "RealTimeQueue_ml.txt";
val _ = print "-------------------- RedBlackSet --------------------\n";
val _ = use "RedBlackSet_ml.txt";
val _ = print "-------------------- SplayHeap --------------------\n";
val _ = use "SplayHeap_ml.txt";
val _ = print "-------------------- UnbalancedSet --------------------\n";
val _ = use "UnbalancedSet_ml.txt";