close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4161


Ignore:
Timestamp:
2016-06-02T23:53:20-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r4160 r4161  
    113113
    114114(defgeneric make-critical-pair-queue (object)
     115  (:documentation "Creates a CRITICAL-PAIR-QUEUE from an object OBJECT.")
    115116  (:method ((object selection-strategy))
    116117    (with-slots (pair-key-fn pair-order-fn)
    117118        object
    118       (make-instance 'priority-queue
    119                      :element-type 'critical-pair
     119      (make-instance 'critical-pair-queue
    120120                     :element-key #'(lambda (pair) (funcall pair-key-fn
    121121                                                            (critical-pair-first pair)
Note: See TracChangeset for help on using the changeset viewer.