Trait View 

pub trait View: ViewRaw {
    // Required methods
    fn try_set_min(self, min: i32, ctx: &mut Context<'_>) -> Option<i32>;
    fn try_set_max(self, max: i32, ctx: &mut Context<'_>) -> Option<i32>;

    // Provided methods
    fn get_underlying_var(self) -> Option<VarId> { ... }
    fn min(self, ctx: &Context<'_>) -> i32 { ... }
    fn max(self, ctx: &Context<'_>) -> i32 { ... }
}

Apply simple domain transformations on the fly to make propagators more generic.

Required Methods

fn try_set_min(self, min: i32, ctx: &mut Context<'_>) -> Option<i32>

Try to set the provided value as domain minimum, failing the search space on infeasibility.

The None case signals failure, otherwise the new minimum is returned.

fn try_set_max(self, max: i32, ctx: &mut Context<'_>) -> Option<i32>

Try to the set provided value as domain maximum, failing the search space on infeasibility.

The None case signals failure, otherwise the new maximum is returned.

Provided Methods

fn get_underlying_var(self) -> Option<VarId>

Get the handle of the variable this view depends on.

fn min(self, ctx: &Context<'_>) -> i32

Access domain minimum.

fn max(self, ctx: &Context<'_>) -> i32

Access domain maximum.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl View for i32

fn try_set_min(self, min: i32, _ctx: &mut Context<'_>) -> Option<i32>

fn try_set_max(self, max: i32, _ctx: &mut Context<'_>) -> Option<i32>

Implementors

impl View for VarId

impl View for VarIdBinary

impl<V: View> View for Opposite<V>

impl<V: View> View for Plus<V>

impl<V: View> View for Times<V>

impl<V: View> View for TimesPos<V>