Property | Type | Description | |
---|---|---|---|
inferenceStrategy | Inference | ||
isLCVHeuristicEnabled | bool | ||
selectionStrategy | Selection |
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 ( |
Method | Description | |
---|---|---|
inference ( |
||
orderDomainValues ( |
||
selectUnassignedVariable ( |
Method | Description | |
---|---|---|
applyDegreeHeuristic ( List |
||
applyLeastConstrainingValueHeuristic ( |
||
applyMRVHeuristic ( |
||
countLostValues ( |
||
doForwardChecking ( |
||
revise ( |
public ImprovedBacktrackingStrategy ( ) : System | ||
return | System |
public ImprovedBacktrackingStrategy ( bool enableMRV, bool enableDeg, bool enableAC3, bool enableLCV ) : System | ||
enableMRV | bool | |
enableDeg | bool | |
enableAC3 | bool | |
enableLCV | bool | |
return | System |
protected inference ( |
||
var | ||
assignment | ||
csp | ||
return |
protected orderDomainValues ( |
||
var | ||
assignment | ||
csp | ||
return | Iterable? |
protected selectUnassignedVariable ( |
||
assignment | ||
csp | ||
return |
public setInference ( Inference iStrategy ) : void | ||
iStrategy | Inference | |
return | void |
public setVariableSelection ( Selection sStrategy ) : void | ||
sStrategy | Selection | |
return | void |