propaga-core 1.1.0

Core types and traits for the Propaga constraint solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Core types and traits for the Propaga constraint solver.
//!
//! This crate defines variables, domains, propagators, explanations, nogoods,
//! and the propagation context used by the engine and search layers.

mod context;
mod domain;
mod error;
mod extended;
pub mod id;
mod nogood;
mod propagator;
mod reason;
mod status;

pub use context::PropagationContext;
pub use domain::{Domain, DomainView};
pub use error::PropagaError;
pub use extended::{ExtendedPropagationContext, FloatDomainSnapshot, SetDomainSnapshot};
pub use id::{PropagatorId, PropagatorKey, VariableId, VariableKey};
pub use nogood::{Nogood, NogoodLiteral};
pub use propagator::Propagator;
pub use reason::{BoundKind, ChangeReason, Explanation};
pub use status::PropagationStatus;