structure Path : PATH
The Path structure is used to represent paths in a search tree. A path is essentially a sequence of numbers, possibly interleaved with best solutions, that are inserted in the case of Branch & Bound.
See also: PROBLEM, SEARCH.
import structure Path from "x-alice:/lib/gecode/search-factory/Path"
signature SEARCH = sig type 'a item = int * ('a option) type 'a path = ('a item) list type t = path val root : 'a path val toString : 'a path -> string end
A path is a sequence of items. 'a is the type of solutions. An item is a branch number plus an optional best solution.
The type of a path in the search tree, that is a sequence of items.
The top-node of the search tree, that is, the empty list.
Returns a string that represents the path (as a sequence of numbers). Best solutions are indicated with a star.