Enum IntegerDomain 

pub enum IntegerDomain {
    Range {
        min: i64,
        max: i64,
    },
    Discrete {
        values: BTreeSet<i64>,
    },
}

Integer domain: either an inclusive numeric range or a finite discrete set.

Variants

Range

Inclusive [min, max].

Fields

min: i64

Lower bound (inclusive).

max: i64

Upper bound (inclusive).

Discrete

Explicit value set; at least one element.

Fields

values: BTreeSet<i64>

The permitted values.

Implementations

impl IntegerDomain

pub fn range(min: i64, max: i64) -> Result<Self>

Construct an inclusive range. Rejects min > max.

pub fn discrete(values: BTreeSet<i64>) -> Result<Self>

Construct a discrete domain. Rejects empty sets.

pub fn contains_native(&self, value: i64) -> bool

Membership test on the native payload.

pub fn cardinality(&self) -> Cardinality

Count of distinct values. Saturates at u64::MAX if a range’s width exceeds u64.

pub fn boundaries_native(&self) -> Vec<i64>

Boundary values (at most two).

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

Uniformly sample a value using the given RNG.

pub fn iter_native<'a>(&'a self) -> Box<dyn Iterator<Item = i64> + 'a>

Iterator over every value in the domain.

Trait Implementations

impl Clone for IntegerDomain

fn clone(&self) -> IntegerDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntegerDomain

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntegerDomain

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for IntegerDomain

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for IntegerDomain

fn eq(&self, other: &IntegerDomain) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for IntegerDomain

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for IntegerDomain

impl StructuralPartialEq for IntegerDomain