alice
library
manual.

Alice Project

The Explorer structure


________ Synopsis ____________________________________________________

    signature EXPLORER
    structure Explorer : Explorer

The Alice Explorer is a graphical tool of the Alice programming environment. It can run scripts and display the explored search trees. It can also display the information in the constraint stores associated with the nodes of the search tree.

For example, the expression

Explorer.exploreAll money

tells the Explorer to run the script money and explore the entire search tree. The Explorer will pop up a window and display the explored nodes of the search tree. Choice nodes appear as blue circles, failure nodes as red boxes, and solution nodes as green diamonds. Fully explored subtrees not containing solution nodes are collapsed into a single red triangle.

See also: Search, Space, FD, Linear, FS


________ Import ______________________________________________________

    import signature EXPLORER from "x-alice:/lib/tools/EXPLORER-sig"
    import structure Explorer from "x-alice:/lib/tools/Explorer"

________ Interface ___________________________________________________

    signature EXPLORER =
    sig
	val exploreOne : (unit -> 'a) -> unit
	val exploreOneBAB : (unit -> 'a) * ('a * 'a -> unit) -> unit
	val exploreAll : (unit -> 'a) -> unit
	val exploreAllBAB : (unit -> 'a) * ('a * 'a -> unit) -> unit
	val exploreBest : (unit -> 'a) * ('a * 'a -> unit) -> unit
    end

________ Description _________________________________________________

exploreOne p

initializes the Explorer with script p and explores the search tree up to the first solution.

exploreOneBAB (p, o)

initializes the Explorer with script p and explores the search tree up to the first solution. The explorer runs in branch and bound mode using order o.

exploreAll p

initializes the Explorer with script p and starts exploration of the entire search tree.

exploreAllBAB (p, o)

initializes the Explorer with script p and starts exploration of the entire search tree. The explorer runs in branch and bound mode using order o.

exploreBest (p, o)

initializes the Explorer with script p and starts exploration of the entire search tree following a branch and bound strategy. Best solution search is performed with respect to order o.



last modified 1970/01/01 01:00