alice
library
manual.

The `Path` structure

^Synopsis^{____________________________________________}

    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.

^Import^{______________________________________________}

    import structure Path from "x-alice:/lib/gecode/search-factory/Path"

^Interface^{___________________________________________}

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

^Description^{_________________________________________}

type 'a item: A path is a sequence of items. 'a is the type of solutions. An item is a branch number plus an optional best solution.
type 'a path = ('a item) list: The type of a path in the search tree, that is a sequence of items.
root: The top-node of the search tree, that is, the empty list.
toString path: Returns a string that represents the path (as a sequence of numbers). Best solutions are indicated with a star.

last modified 2007/Mar/30 17:10

alice library manual.

The Path structure

________ Synopsis ____________________________________________________

________ Import ______________________________________________________