Trait VariableDomain 

pub trait VariableDomain:
    'static
    + Clone
    + Debug
    + Send
    + Sync {
    const DIMS_PER_VAR: usize;
    const NAME: &'static str;
}

Sealed trait for ILP variable domains.

bool = binary variables (0 or 1), i32 = non-negative integers (0..2^31-1).

Required Associated Constants

const DIMS_PER_VAR: usize

Number of possible values per variable (used by dims()).

const NAME: &'static str

Name for the variant system (e.g., “bool”, “i32”).

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl VariableDomain for bool

const DIMS_PER_VAR: usize = 2

const NAME: &'static str = "bool"

impl VariableDomain for i32

const DIMS_PER_VAR: usize

const NAME: &'static str = "i32"

Implementors