C# Class AIMA.Core.Search.CSP.ImprovedBacktrackingStrategy

Inheritance: BacktrackingStrategy

Show file Open project: PaulMineau/AIMA.Net

Protected Properties

Property	Type	Description
inferenceStrategy	Inference
isLCVHeuristicEnabled	bool
selectionStrategy	Selection

Public Methods

Method	Description
ImprovedBacktrackingStrategy ( ) : System
ImprovedBacktrackingStrategy ( bool enableMRV, bool enableDeg, bool enableAC3, bool enableLCV ) : System
enableLCV ( bool state ) : void
setInference ( Inference iStrategy ) : void
setVariableSelection ( Selection sStrategy ) : void
solve ( CSP csp ) : Assignment

Protected Methods

Method	Description
inference ( Variable var, Assignment assignment, CSP csp ) : DomainRestoreInfo
orderDomainValues ( Variable var, Assignment assignment, CSP csp ) : Iterable?
selectUnassignedVariable ( Assignment assignment, CSP csp ) : Variable

Private Methods

Method	Description
applyDegreeHeuristic ( List vars, Assignment assignment, CSP csp ) : List
applyLeastConstrainingValueHeuristic ( Variable var, CSP csp ) : List
applyMRVHeuristic ( CSP csp, Assignment assignment ) : List
countLostValues ( Variable var, Object value, CSP csp ) : int
doForwardChecking ( Variable var, Assignment assignment, CSP csp ) : DomainRestoreInfo
revise ( Variable var, Constraint constraint, Assignment assignment, CSP csp, DomainRestoreInfo info ) : bool

Method Details

ImprovedBacktrackingStrategy() public method

public ImprovedBacktrackingStrategy ( ) : System
return	System

ImprovedBacktrackingStrategy() public method

public ImprovedBacktrackingStrategy ( bool enableMRV, bool enableDeg, bool enableAC3, bool enableLCV ) : System
enableMRV	bool
enableDeg	bool
enableAC3	bool
enableLCV	bool
return	System

enableLCV() public method

public enableLCV ( bool state ) : void
state	bool
return	void

inference() protected method

protected inference ( Variable var, Assignment assignment, CSP csp ) : DomainRestoreInfo
var	Variable
assignment	Assignment
csp	CSP
return	DomainRestoreInfo

orderDomainValues() protected method

protected orderDomainValues ( Variable var, Assignment assignment, CSP csp ) : Iterable?
var	Variable
assignment	Assignment
csp	CSP
return	Iterable?

selectUnassignedVariable() protected method

protected selectUnassignedVariable ( Assignment assignment, CSP csp ) : Variable
assignment	Assignment
csp	CSP
return	Variable

setInference() public method

public setInference ( Inference iStrategy ) : void
iStrategy	Inference
return	void

setVariableSelection() public method

public setVariableSelection ( Selection sStrategy ) : void
sStrategy	Selection
return	void

solve() public method

public solve ( CSP csp ) : Assignment
csp	CSP
return	Assignment

Property Details

inferenceStrategy protected property

protected Inference inferenceStrategy
return	Inference

isLCVHeuristicEnabled protected property

protected bool isLCVHeuristicEnabled
return	bool

selectionStrategy protected property

protected Selection selectionStrategy
return	Selection