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

//! Module containing generic views for decision variables.
//!
//! Depending on the actions implemented by the decision variables, views on the
//! generic variable will automatically implement the appropriate action traits
//! for all [`ReasoningEngine`](crate::actions::ReasoningEngine)s that support
//! them.

mod linear_bool_view;
mod linear_view;
mod offset_view;

pub use linear_bool_view::LinearBoolView;
pub use linear_view::LinearView;
pub use offset_view::OffsetView;