huub 100.0.0

CP+SAT solver framework built to be reliable, performant, and extensible
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Decision variable types and helpers for [`Solver`].

pub(crate) mod boolean;
pub(crate) mod integer;

/// A typed handle to a decision variable in the solver.
#[derive(Clone, Copy, Debug, Eq, Hash, PartialEq)]
pub struct Decision<T: DecisionReference>(pub(crate) T::Ref);

/// Marker trait for types that can be used as solver decision references.
pub trait DecisionReference: private::Sealed + 'static {
	/// The underlying reference type stored in [`Decision`].
	type Ref;
}

/// Sealing helpers for solver decision reference traits.
mod private {
	/// Helper trait that ensures that the [`DecisionStorage`] trait cannot be
	/// implemented outside of this crate.
	pub trait Sealed {}
}