pub struct Decision {
pub variable: Variable,
pub value: isize,
}
Expand description
This denotes a decision that was made during the search. It affects a given
value
to the specified variable
. Any given Decision
should be
understood as ```[[ variable = value ]]````
Fields§
§variable: Variable
§value: isize
Trait Implementations§
source§impl Ord for Decision
impl Ord for Decision
source§impl PartialEq for Decision
impl PartialEq for Decision
source§impl PartialOrd for Decision
impl PartialOrd for Decision
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for Decision
impl Eq for Decision
impl StructuralPartialEq for Decision
Auto Trait Implementations§
impl RefUnwindSafe for Decision
impl Send for Decision
impl Sync for Decision
impl Unpin for Decision
impl UnwindSafe for Decision
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
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more