Module domain 

Domain trait and built-in implementations.

Re-exports

pub use bitset::BitsetDomain;

pub use cost_finite::CostFiniteDomain;

pub use finite::FiniteDomain;

pub use lattice::BitsetLatticeDomain;

pub use traits::CostDomain;

pub use traits::Domain;

pub use traits::LatticeDomain;

Modules

bitset

BitsetDomain — O(1) domain for non-negative integers, isomorphic to Python’s BitsetDomain.

cost_finite

CostFiniteDomain — finite integer domain with parallel per-value cost vector.

finite

FiniteDomain — a generic finite domain backed by Vec.

lattice

LatticeDomain — wrapper for monotonic CSP (types, FIRST/FOLLOW sets).

traits

Core Domain trait and LatticeDomain extension.