Interface | Description |
---|---|
ForwardChecking |
The ForwardChecking interface provides a way to restrict the domain of some
next variables based of the affectation of the current one.
|
Class | Description |
---|---|
AbstractNFC | |
NFC0 |
NFC0 is a ForwardChecking implementation for HyperGraph with delayed local
propagation.
|
NFC2 |
NFC2 is a ForwardChecking implementation for HyperGraph with immediate local
propagation in one step.
|
NFC2WithLimit |
NFC2 is a ForwardChecking implementation for HyperGraph with immediate local
propagation in one step.
|
NoForwardChecking | |
SimpleFC |
SimpleFC is a simple ForwardChecking implementation for HyperGraph with
immediate local checking in one step.
|
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.