at.logic.gapt.utils.executionModels.searchAlgorithms
Performs a parameterizable BFS with a custom successor function.
Performs a parameterizable BFS with a custom successor function. See GenericSearch.
Performs a parameterizable BFS with a custom successor function.
Performs a parameterizable BFS with a custom successor function. See GenericSearch.
Performs a parameterizable DFS with a custom successor function.
Performs a parameterizable DFS with a custom successor function. See GenericSearch.
Performs a parameterizable DFS with a custom successor function.
Performs a parameterizable DFS with a custom successor function. See GenericSearch.
Performs a parameterizable search with a custom collection and successor function.
Performs a parameterizable search with a custom collection and successor function.
Nodes which have no successors are abandoned as dead ends; nodes for which the goal function returns True are added to the list of solutions and not expanded further.
The collection in which to store the nodes. Ex.: a stack creates a DFS, a queue a BFS.
The root node of the search.
The successor function which takes a node and generates all valid successors.
The list of nodes which have no successors (=goal nodes in this context).
Performs a parameterizable search with with a custom collection and successor function.
Performs a parameterizable search with with a custom collection and successor function.
It is assumed that all nodes with no successors are goal nodes. and that the successor function generates no invalid nodes.
The collection in which to store the nodes. Ex.: a stack creates a DFS, a queue a BFS.
The root node of the search.
The successor function which takes a node and generates all valid successors.
The list of nodes which have no successors (=goal nodes in this context).
A higher-order successor function used to turn the generic DFS into an efficient set search.
A higher-order successor function used to turn the generic DFS into an efficient set search. The successors of a node are all nodes which contain one additional element from set of possible ones. In addition to the default constraints, the user can specify an elemFilter, which restricts the elements that can be added and a nodeFilter, which filters out generater successor nodes according to some arbitrary criterion.
See SetNode.
Set elements which fail elemFilter won't be added to the current node's set.
Generated successor nodes which fail nodeFilter won't be returned by this function.
The current node.