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 3938


Ignore:
Timestamp:
2016-05-29T23:43:04-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r3937 r3938  
    8888polynomials is selected."))
    8989
    90 (defclass critical-pair-queue ()
    91   ((pq :initform (make-priority-queue
    92                   :element-type 'critical-pair
    93                   :element-key #'(lambda (pair) (funcall pair-key-fn (critical-pair-first pair) (critical-pair-second pair)))
    94                   :test pair-order-fn))))
     90(defclass critical-pair-queue (selection-strategy)
     91  ((pq :type priority-queue)))
     92
     93(defmethod initialize-instance :after ((self critical-pair-queue) &key)
     94  (make-priority-queue
     95   :element-type 'critical-pair
     96   :element-key #'(lambda (pair) (funcall pair-key-fn (critical-pair-first pair) (critical-pair-second pair)))
     97   :test pair-order-fn))
    9598
    9699(defun pair-queue-initialize (pq f start
Note: See TracChangeset for help on using the changeset viewer.