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 3931 for branches


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r3930 r3931  
    5656  ((pair-key-fn   :initform nil :initarg :pair-key-fn :accessor pair-key-fn)
    5757   (pair-order-fn :initform nil :initarg :pair-order-fn :accessor pair-order-fn))
    58   (:documentation "Sets up variables *PAIR-KEY-FUNCTION* and *PAIR-ORDER* used
    59 to determine the priority of critical pairs in the priority queue."))
     58  (:documentation "Represents a critical pair selection strategy.  The
     59two ingredients of a strategy is a function PAIR-KEY-FUNCTION which
     60computes a key from the critical pair, which can be any type of data,
     61and a function PAIR-ORDER-FN used to compaire the calculated keys to
     62determine which pair is more promising and should be considered first."))
    6063
    6164(defclass critical-pair-queue (selection-strategy)
Note: See TracChangeset for help on using the changeset viewer.