Struct IntegerSet 

pub struct IntegerSet { /* private fields */ }

A finite set of i64 values stored as sorted, disjoint inclusive ranges. JSON endpoints are decimal strings; loading rejects noncanonical ranges.

Implementations

impl IntegerSet

pub fn empty() -> Self

pub fn interval(lower: i64, upper: i64) -> Self

A reversed interval denotes the empty set, as in MiniZinc.

pub fn from_values(values: impl IntoIterator<Item = i64>) -> Self

pub fn minimum(&self) -> Option<i64>

pub fn maximum(&self) -> Option<i64>

pub fn hull(&self) -> Self

pub fn is_convex(&self) -> bool

pub fn is_empty(&self) -> bool

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

pub fn is_subset(&self, other: &Self) -> bool

pub fn union(&self, other: &Self) -> Self

pub fn intersection(&self, other: &Self) -> Self

pub fn difference(&self, other: &Self) -> Self

pub fn symmetric_difference(&self, other: &Self) -> Self

pub fn is_disjoint(&self, other: &Self) -> bool

pub fn lex_cmp(&self, other: &Self) -> Ordering

Compare the sorted element sequences, skipping each shared interval.

pub fn characteristic_cmp(&self, other: &Self) -> Ordering

Gecode compares membership bits from the smallest differing element: 0 < 1.

pub fn cardinality(&self) -> Option<i64>

None means the mathematical cardinality exceeds i64::MAX.

Trait Implementations

impl Clone for IntegerSet

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntegerSet

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

Formats the value using the given formatter.

impl Default for IntegerSet

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for IntegerSet

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Display for IntegerSet

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

Formats the value using the given formatter.

impl Eq for IntegerSet

impl PartialEq for IntegerSet

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for IntegerSet

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for IntegerSet