Enum Domain 

pub enum Domain<'a> {
    Integer {
        parameter: &'a ParameterName,
        domain: &'a IntegerDomain,
    },
    Double {
        parameter: &'a ParameterName,
        domain: &'a DoubleDomain,
    },
    Boolean {
        parameter: &'a ParameterName,
    },
    String {
        parameter: &'a ParameterName,
        domain: &'a StringDomain,
    },
    Selection {
        parameter: &'a ParameterName,
        domain: &'a SelectionDomain,
    },
}

Borrowed view over a parameter’s domain, pinned to the parameter’s name so operations can produce properly-provenanced Values.

This is a small deviation from SRD-0004 §Domain, which shows the view enum without the parameter reference. Threading the name through is the simplest way to let sample, boundary_values, and enumerate hand back owned Values without asking the caller to pass the name at every call site.

Variants

Integer

Integer domain view.

Fields

parameter: &'a ParameterName

Owning parameter’s name.

domain: &'a IntegerDomain

Borrowed per-kind domain.

Double

Double domain view.

Fields

parameter: &'a ParameterName

Owning parameter’s name.

domain: &'a DoubleDomain

Borrowed per-kind domain.

Boolean

Boolean domain view — no payload.

Fields

parameter: &'a ParameterName

Owning parameter’s name.

String

String domain view.

Fields

parameter: &'a ParameterName

Owning parameter’s name.

domain: &'a StringDomain

Borrowed per-kind domain.

Selection

Selection domain view.

Fields

parameter: &'a ParameterName

Owning parameter’s name.

domain: &'a SelectionDomain

Borrowed per-kind domain.

Implementations

impl<'a> Domain<'a>

pub const fn parameter(&self) -> &'a ParameterName

The owning parameter’s name.

pub fn contains(&self, value: &Value) -> bool

Membership test. Kind-mismatched values always return false. For SelectionDomain::External, only the shape is checked — full validation requires a resolver and is deferred.

pub fn cardinality(&self) -> Cardinality

Count of distinct values.

pub fn boundary_values(&self) -> Vec<Value>

Boundary values, lifted to Value.

pub fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> Value

Uniformly sample a value from the domain.

Panics

Panics for StringDomain::Regex and SelectionDomain::External — see module docs.

pub fn enumerate(&self) -> Result<Box<dyn Iterator<Item = Value> + 'a>>

Enumerate every value in the domain as Values. Fails for continuous and open-ended domains.

Trait Implementations

impl<'a> Clone for Domain<'a>

fn clone(&self) -> Domain<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for Domain<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Copy for Domain<'a>