Expand description
Contains structures for the state containing the propagators and variables.
See State for more information.
Structs§
- Current
Nogood - The current nogood that is being analyzed.
- Empty
Domain - Empty
Domain Conflict - A conflict because a domain became empty.
- Propagator
Conflict - A conflict stated by a propagator. A propagator that identifies a conflict that is not an empty domain, describes that conflict with this type.
- Propagator
Handle - A typed wrapper around a propagator id that allows retrieving concrete propagators instead of
type-erased instances
Box<dyn Propagator>. - Propagator
Id - An identifier to a propagator instance within the solver. Each propagator is assigned a unique identifier at runtime.
- State
- The
Stateis the container of variables and propagators.
Enums§
- Conflict
- Information concerning the conflict returned by
State::propagate_to_fixed_point.