Java FibHeap示例

示例#1

文件： FibHeap.java 项目： mffrias/TACO

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

示例#2

文件： FibHeap.java 项目： mffrias/TACO

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

示例#3

文件： FibHeap.java 项目： 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);
   }
 }