Lines Matching full:shortest
64 SHORTEST_FIRST_QUEUE = 3, // Shortest-first queue
206 // Shortest-first queue discipline, templated on the StateId and
295 // Shortest-first queue discipline, templated on the StateId and Weight, is
541 // shortest-first queue using the natural order w.r.t to the distance.
607 ": using shortest-first discipline";
732 // an estimate of the shortest distance to the final states.
741 // shortest distance from the initial state, a Less comparison
743 // shortest distance to the final states, this class defines a
770 // estimate E of the shortest distance to the final states, is specialized
796 // only when its shortest distance (so far), as specified by
797 // 'distance', is less than (as specified by 'comp') the shortest
857 const vector<Weight> &distance_; // shortest distance to state
862 vector<Weight> class_distance_; // shortest distance to class
