Trait DynDomainConstraint

pub trait DynDomainConstraint:
    Debug
    + Send
    + Sync
    + 'static {
    // Required method
    fn check(&self, var: &dyn Var, v: &dyn Value) -> Result<(), VarError>;
}

A type erased version of DomainConstraint that we can reference on a VarDefinition.

Required Methods

fn check(&self, var: &dyn Var, v: &dyn Value) -> Result<(), VarError>

Implementors

impl<D> DynDomainConstraint for D

where D: DomainConstraint + Send + Sync + 'static, D::Value: Value,