search.search_initial_var_dfs module¶

class search.search_initial_var_dfs.InitialVariantDFS(settings)¶

Bases: circa.stages.search.search.Search

Search implementation that accepts parameters to specify the starting node of a depth-first search. An optional budget can also be specified to limit the number of visited nodes.

class CFG¶

Bases: object

Configuration options.

INITIAL_VAR_PARAM = 'InitialVariants'¶

BUDGET_PARAM = 'Budget'¶

setup(gen_info, root_node)¶: Creates DFS starting node by applying initial variant parameters.

hasTerminated()¶: Returns whether the search is finished or not.

popNextNode()¶

Returns the Node that is to be validated next. Can return None if no more nodes exist.

Returns:	The next Node to be validated or `None` if no such Node exists.
Return type:	`Node`

expandSearchSpace()¶

Expands the search space tree and returns a list of all new Nodes to be approximated.

Returns:	A list containing all Nodes that need to be approximated.
Return type:	list of `Node`

evaluateNodes()¶: Uses search-specific heuristics and circuit stats to evaluate nodes for popNextNode.