Java FibHeap Examples

Example #1

File: FibHeap.java Project: mffrias/TACO

 /** @Modifies_Everything; @Ensures false; */
 public static void minimumTest(/*@ nullable @*/ FibHeap fibHeap) {
   if (fibHeap != null) {
     FibHeapNode ret_val = fibHeap.minimum();
   }
 }

Example #2

File: FibHeap.java Project: mffrias/TACO

 /** @Modifies_Everything; @Ensures false; */
 public static void removeMinTest(/*@ nullable @*/ FibHeap fibHeap) {
   if (fibHeap != null) {
     FibHeapNode ret_val = fibHeap.removeMin();
   }
 }

Example #3

File: FibHeap.java Project: mffrias/TACO

 /** @Modifies_Everything; @Ensures false; */
 public static void insertNodeTest(
     /*@ nullable @*/ FibHeap fibHeap, /*@ nullable @*/ FibHeapNode toInsert) {
   if (fibHeap != null && toInsert != null) {
     FibHeapNode ret_val = fibHeap.insertNode(toInsert);
   }
 }