Trait VariableDomain 

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

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

Static certificate for a homogeneous ILP variable domain.

Required Associated Constants

const NAME: &'static str

Name used by the registered variant dimension.

Required Methods

fn default_variable() -> IntegerVariable

Default stored variable used by homogeneous formulations.

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

Validate that stored bounds satisfy this static certificate.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl VariableDomain for bool

const NAME: &'static str = "bool"

fn default_variable() -> IntegerVariable

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

impl VariableDomain for i64

const NAME: &'static str = "i64"

fn default_variable() -> IntegerVariable

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

Implementors