Trait BoundsPolicy 

pub trait BoundsPolicy:
    'static
    + Clone
    + Debug
    + Send
    + Sync {
    const NAME: &'static str;

    // Required method
    fn validate_variables(
        variables: &[IntegerVariable],
    ) -> Result<(), ConstructionError>;
}

Type-level requirement on the explicitly stored variable intervals.

Required Associated Constants

const NAME: &'static str

Registered bounds dimension value.

Required Methods

fn validate_variables( variables: &[IntegerVariable], ) -> Result<(), ConstructionError>

Validate the interval requirement independently of the variable domain.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl BoundsPolicy for Bounded

const NAME: &'static str = "bounded"

impl BoundsPolicy for General

const NAME: &'static str = "general"