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 signature EXPLORER from "x-alice:/lib/tools/EXPLORER-sig" import structure Explorer from "x-alice:/lib/tools/Explorer"
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
initializes the Explorer with script p and explores the search tree up to the first solution.
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.
initializes the Explorer with script p and starts exploration of the entire search tree.
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.
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.