Struct AffineView

pub struct AffineView<Inner> { /* private fields */ }

Models the constraint y = ax + b, by expressing the domain of y as a transformation of the domain of x.

Implementations

impl<Inner> AffineView<Inner>

pub fn new(inner: Inner, scale: i32, offset: i32) -> Self

Trait Implementations

impl<Inner: Clone> Clone for AffineView<Inner>

fn clone(&self) -> AffineView<Inner>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Var: Debug> Debug for AffineView<Var>

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

Formats the value using the given formatter.

impl From<DomainId> for AffineView<DomainId>

fn from(value: DomainId) -> Self

Converts to this type from the input type.

impl<Inner: Hash> Hash for AffineView<Inner>

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<View> IntegerVariable for AffineView<View>

where View: IntegerVariable,

type AffineView = AffineView<View>

fn lower_bound(&self, assignment: &AssignmentsInteger) -> i32

Get the lower bound of the variable.

fn upper_bound(&self, assignment: &AssignmentsInteger) -> i32

Get the upper bound of the variable.

fn contains(&self, assignment: &AssignmentsInteger, value: i32) -> bool

Determine whether the value is in the domain of this variable.

fn describe_domain(&self, assignment: &AssignmentsInteger) -> Vec<Predicate>

Get a predicate description (bounds + holes) of the domain of this variable. N.B. can be very expensive with large domains, and very large with holey domains

fn remove( &self, assignment: &mut AssignmentsInteger, value: i32, reason: Option<ReasonRef>, ) -> Result<(), EmptyDomain>

Remove a value from the domain of this variable.

fn set_lower_bound( &self, assignment: &mut AssignmentsInteger, value: i32, reason: Option<ReasonRef>, ) -> Result<(), EmptyDomain>

Tighten the lower bound of the domain of this variable.

fn set_upper_bound( &self, assignment: &mut AssignmentsInteger, value: i32, reason: Option<ReasonRef>, ) -> Result<(), EmptyDomain>

Tighten the upper bound of the domain of this variable.

fn watch_all( &self, watchers: &mut Watchers<'_>, events: EnumSet<IntDomainEvent>, )

Register a watch for this variable on the given domain events.

fn watch_all_backtrack( &self, watchers: &mut Watchers<'_>, events: EnumSet<IntDomainEvent>, )

fn unpack_event(&self, event: OpaqueDomainEvent) -> IntDomainEvent

Decode a domain event for this variable.

impl<Inner: PartialEq> PartialEq for AffineView<Inner>

fn eq(&self, other: &AffineView<Inner>) -> 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<Var: PredicateConstructor<Value = i32>> PredicateConstructor for AffineView<Var>

type Value = <Var as PredicateConstructor>::Value

The value used to represent a bound.

fn lower_bound_predicate(&self, bound: Self::Value) -> Predicate

Creates a lower-bound predicate (e.g. [x >= v]).

fn upper_bound_predicate(&self, bound: Self::Value) -> Predicate

Creates an upper-bound predicate (e.g. [x <= v]).

fn equality_predicate(&self, bound: Self::Value) -> Predicate

Creates an equality predicate (e.g. [x == v]).

fn disequality_predicate(&self, bound: Self::Value) -> Predicate

Creates a disequality predicate (e.g. [x != v]).

impl TransformableVariable<AffineView<DomainId>> for DomainId

fn scaled(&self, scale: i32) -> AffineView<DomainId>

Get a variable which domain is scaled compared to the domain of self.

fn offset(&self, offset: i32) -> AffineView<DomainId>

Get a variable which domain has a constant offset to the domain of self.

impl<View> TransformableVariable<AffineView<View>> for AffineView<View>

where View: IntegerVariable,

fn scaled(&self, scale: i32) -> AffineView<View>

Get a variable which domain is scaled compared to the domain of self.

fn offset(&self, offset: i32) -> AffineView<View>

Get a variable which domain has a constant offset to the domain of self.

impl<Inner: Copy> Copy for AffineView<Inner>

impl<Inner: Eq> Eq for AffineView<Inner>

impl<Inner> StructuralPartialEq for AffineView<Inner>