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

//! Standard [`Solver`] decision variable views.

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

/// Trait implemented by types that provide a default solver view.
pub trait DefaultView: private::Sealed + 'static {
	/// The view type associated with this default view.
	type View;
}

/// A typed view over a decision variable or constant in the solver.
#[derive(Clone, Copy, Debug, Eq, Hash, PartialEq)]
pub struct View<T: DefaultView>(pub(crate) T::View);

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