Enum IntegerPredicate

pub enum IntegerPredicate {
    LowerBound {
        domain_id: DomainId,
        lower_bound: i32,
    },
    UpperBound {
        domain_id: DomainId,
        upper_bound: i32,
    },
    NotEqual {
        domain_id: DomainId,
        not_equal_constant: i32,
    },
    Equal {
        domain_id: DomainId,
        equality_constant: i32,
    },
}

Representation of a domain operation

It can either be in the form of atomic constraints over DomainIds (in the form of IntegerPredicate::LowerBound, IntegerPredicate::UpperBound, IntegerPredicate::NotEqual or IntegerPredicate::Equal)

Variants

LowerBound

Fields

domain_id: DomainId

lower_bound: i32

UpperBound

Fields

domain_id: DomainId

upper_bound: i32

NotEqual

Fields

domain_id: DomainId

not_equal_constant: i32

Equal

Fields

domain_id: DomainId

equality_constant: i32

Implementations

impl IntegerPredicate

pub fn is_equality_predicate(&self) -> bool

pub fn is_lower_bound_predicate(&self) -> bool

pub fn is_not_equal_predicate(&self) -> bool

pub fn get_domain(&self) -> DomainId

Returns the DomainId of the IntegerPredicate

Trait Implementations

impl Clone for IntegerPredicate

fn clone(&self) -> IntegerPredicate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IntegerPredicate

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

Formats the value using the given formatter.

impl Display for IntegerPredicate

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

Formats the value using the given formatter.

impl From<IntegerPredicate> for Predicate

fn from(value: IntegerPredicate) -> Self

Converts to this type from the input type.

impl Hash for IntegerPredicate

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 Not for IntegerPredicate

type Output = IntegerPredicate

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for IntegerPredicate

fn eq(&self, other: &IntegerPredicate) -> 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 TryFrom<Predicate> for IntegerPredicate

type Error = IntegerPredicateConversionError

The type returned in the event of a conversion error.

fn try_from(value: Predicate) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for IntegerPredicate

impl Eq for IntegerPredicate

impl StructuralPartialEq for IntegerPredicate