Changeset 4148 for branches/f4grobner

Timestamp:

2016-06-02T22:03:57-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/pair-queue.lisp (modified) (1 diff)

branches/f4grobner/pair-queue.lisp

@@ -100 +100 @@
 polynomials is selected.")
 
-(defgeneric make-critical-pair-queue (object) 
-  (:documentation "A factory of critical-pair-queue objects.")
-  (:method ((self selection-strategy))
-    "Creates a priority queue with selection strategy STRATEGY."
+(defclass critical-pair-queue (priority-queue) 
+  ()
+  (:documentation "Specializes class PRIORITY-QUEUE to element-type CRITICAL-PAIR."))
+
+(defmethod initialize-instance :before ((self critical-pair-queue) &key)
+  (call-next-method self :initial-element 'critical-pair))
+
+(defgeneric make-critical-pair-queue (object)
+  (:method ((object selection-strategy))
     (with-slots (pair-key-fn pair-order-fn)
-        strategy
-      (make-instance 'pair-queue
+        object
+      (make-instance 'priority-queue
                      :element-type 'critical-pair
                      :element-key #'(lambda (pair) (funcall pair-key-fn