Heuristics
heuristics
¶
Components for implementing fixation via heuristics in the context of LNS.
generate_heuristic_subprogram(config_catalog: ConfigCatalog) -> str
¶
Generate #heuristic statements for LNPS and integrity constraints for LNS from predicate signatures of projected atoms.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
config_catalog
|
ConfigCatalog
|
LNS configuration catalog. |
required |
Returns:
| Type | Description |
|---|---|
str
|
heuristic statements and integrity constraints.¶ |
get_fixed_atoms_heuristics(active_config: ActiveConfig, model: Model, fixed_atoms: set[Symbol], step: int) -> set[Symbol]
¶
Get fixed atoms according to heuristics.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
active_config
|
ActiveConfig
|
LNS configuration dictionary. |
required |
model
|
Model
|
Model containing operation specifications. |
required |
fixed_atoms
|
set[Symbol]
|
Set of fixed atoms from previous iteration. |
required |
step
|
int
|
Current LNS iteration. |
required |
Returns:
| Type | Description |
|---|---|
set[Symbol]
|
Set of fixed atoms for current iteration. |