pub struct PatchValueConstraint<'a, T: ValueSchema> { /* private fields */ }Implementations§
Source§impl<'a, T: ValueSchema> PatchValueConstraint<'a, T>
impl<'a, T: ValueSchema> PatchValueConstraint<'a, T>
Trait Implementations§
Source§impl<'a, S: ValueSchema> Constraint<'a> for PatchValueConstraint<'a, S>
impl<'a, S: ValueSchema> Constraint<'a> for PatchValueConstraint<'a, S>
Source§fn variables(&self) -> VariableSet
fn variables(&self) -> VariableSet
Return the set of variables used by the constraint.
This is only called once at the beginning of the query.
The query engine uses this information to keep track of the variables
that are used by each constraint.
Source§fn estimate(&self, variable: VariableId, _binding: &Binding) -> Option<usize>
fn estimate(&self, variable: VariableId, _binding: &Binding) -> Option<usize>
Estimate the number of values that match the constraint.
This is used by the query engine to guide the search.
The estimate should be as accurate as possible, while being cheap to compute,
and is not required to be exact or a permissible heuristic.
The binding passed to the method contains the values assigned to the variables so far. Read more
Source§fn propose(
&self,
variable: VariableId,
_binding: &Binding,
proposals: &mut Vec<RawValue>,
)
fn propose( &self, variable: VariableId, _binding: &Binding, proposals: &mut Vec<RawValue>, )
Propose values for a variable that match the constraint.
This is used by the query engine to explore the search space.
The method should add values to the
proposals vector that match the constraint.
The binding passed to the method contains the values assigned to the variables so far. Read moreSource§fn confirm(
&self,
variable: VariableId,
_binding: &Binding,
proposals: &mut Vec<RawValue>,
)
fn confirm( &self, variable: VariableId, _binding: &Binding, proposals: &mut Vec<RawValue>, )
Confirm a value for a variable that matches the constraint.
This is used by the query engine to prune the search space, and confirm that a value satisfies the constraint.
The method should remove values from the
proposals vector that do not match the constraint.
The binding passed to the method contains the values assigned to the variables so far. Read moreSource§fn influence(&self, variable: VariableId) -> VariableSet
fn influence(&self, variable: VariableId) -> VariableSet
Return the set of variables potentially influenced when the passed
variable is bound or unbound. Read more
Auto Trait Implementations§
impl<'a, T> Freeze for PatchValueConstraint<'a, T>
impl<'a, T> RefUnwindSafe for PatchValueConstraint<'a, T>where
T: RefUnwindSafe,
impl<'a, T> Send for PatchValueConstraint<'a, T>where
T: Send,
impl<'a, T> Sync for PatchValueConstraint<'a, T>where
T: Sync,
impl<'a, T> Unpin for PatchValueConstraint<'a, T>where
T: Unpin,
impl<'a, T> UnsafeUnpin for PatchValueConstraint<'a, T>
impl<'a, T> UnwindSafe for PatchValueConstraint<'a, T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more