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) -> AffineView<Inner>

Trait Implementations

impl<Inner> Clone for AffineView<Inner>

where Inner: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Var> Debug for AffineView<Var>

where Var: Debug,

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

Formats the value using the given formatter.

impl From<DomainId> for AffineView<DomainId>

fn from(value: DomainId) -> AffineView<DomainId>

Converts to this type from the input type.

impl<Inner> Hash for AffineView<Inner>

where Inner: Hash,

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

where __H: Hasher,

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: &Assignments) -> i32

Get the lower bound of the variable.

fn lower_bound_at_trail_position( &self, assignment: &Assignments, trail_position: usize, ) -> i32

Get the lower bound of the variable at the given trail position.

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

Get the upper bound of the variable.

fn upper_bound_at_trail_position( &self, assignment: &Assignments, trail_position: usize, ) -> i32

Get the upper bound of the variable at the given trail position.

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

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

fn contains_at_trail_position( &self, assignment: &Assignments, value: i32, trail_position: usize, ) -> bool

Determine whether the value is in the domain of this variable at the given trail position.

fn iterate_domain(&self, assignment: &Assignments) -> impl Iterator<Item = i32>

Iterate over the values of the domain.

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

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

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

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

Decode a domain event for this variable.

fn get_holes_on_current_decision_level( &self, assignments: &Assignments, ) -> impl Iterator<Item = i32>

Returns all of the holes in the domain which were created at the current decision level

fn get_holes(&self, assignments: &Assignments) -> impl Iterator<Item = i32>

Returns all of the holes in the domain

impl<Inner> PartialEq for AffineView<Inner>

where Inner: PartialEq,

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 for AffineView<Var>

where Var: PredicateConstructor<Value = i32>,

type Value = <Var as PredicateConstructor>::Value

The value used to represent a bound.

fn lower_bound_predicate( &self, bound: <AffineView<Var> as PredicateConstructor>::Value, ) -> Predicate

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

fn upper_bound_predicate( &self, bound: <AffineView<Var> as PredicateConstructor>::Value, ) -> Predicate

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

fn equality_predicate( &self, bound: <AffineView<Var> as PredicateConstructor>::Value, ) -> Predicate

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

fn disequality_predicate( &self, bound: <AffineView<Var> as PredicateConstructor>::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 TransformableVariable<AffineView<Literal>> for Literal

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

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

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

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 for AffineView<Inner>

where Inner: Copy,

impl<Inner> Eq for AffineView<Inner>

where Inner: Eq,

impl<Inner> StructuralPartialEq for AffineView<Inner>