Enum SelectionDomain 

pub enum SelectionDomain {
    Fixed {
        values: IndexSet<SelectionItem>,
        max_selections: u32,
    },
    External {
        resolver: ResolverId,
        max_selections: u32,
    },
}

Selection domain: a set the user can pick multiple items from.

Variants

Fixed

The available items are enumerated inline.

Fields

values: IndexSet<SelectionItem>

The available items, in authored order.

max_selections: u32

Maximum number of items that may be selected together.

External

The available items come from an external resolver looked up by id at plan-compilation time.

Fields

resolver: ResolverId

Opaque resolver id for the registry.

max_selections: u32

Maximum number of items that may be selected together.

Implementations

impl SelectionDomain

pub fn fixed( values: IndexSet<SelectionItem>, max_selections: u32, ) -> Result<Self>

Construct a fixed selection domain. Rejects empty value sets or zero max_selections.

pub fn external(resolver: ResolverId, max_selections: u32) -> Result<Self>

Construct an external selection domain.

pub const fn max_selections(&self) -> u32

Maximum number of items selectable at once.

pub fn contains_items_fixed(&self, items: &IndexSet<SelectionItem>) -> bool

Membership test: every item in items must be a legal member. For External variants, legality can only be confirmed through the resolver — Domain::contains handles that case by degrading to shape-only checks.

pub fn cardinality(&self) -> Cardinality

Available-item count for the Fixed variant.

pub fn boundaries_fixed(&self) -> Vec<IndexSet<SelectionItem>>

Single-item selections at the first and last boundary items.

pub fn sample_fixed<R: Rng + ?Sized>( &self, rng: &mut R, ) -> IndexSet<SelectionItem>

Sample a random subset of size 1..=max_selections.

Panics

Panics on SelectionDomain::External — registry-aware sampling is a future slice; see module docs.

Trait Implementations

impl Clone for SelectionDomain

fn clone(&self) -> SelectionDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SelectionDomain

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SelectionDomain

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SelectionDomain

fn eq(&self, other: &SelectionDomain) -> 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 SelectionDomain

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 SelectionDomain

impl StructuralPartialEq for SelectionDomain