pub struct RuleWatchNode {
pub rule: usize,
pub watch1: i64,
pub watch2: i64,
}Fields§
§rule: usize§watch1: i64§watch2: i64Implementations§
Source§impl RuleWatchNode
impl RuleWatchNode
pub fn new(rules: &RuleSet, rule: usize) -> RuleWatchNode
Sourcepub fn watch2_on_highest(&mut self, rules: &RuleSet, decisions: &Decisions)
pub fn watch2_on_highest(&mut self, rules: &RuleSet, decisions: &Decisions)
watch2OnHighest.
pub fn other_watch(&self, literal: i64) -> i64
pub fn move_watch(&mut self, from: i64, to: i64)
Trait Implementations§
Source§impl Clone for RuleWatchNode
impl Clone for RuleWatchNode
Auto Trait Implementations§
impl Freeze for RuleWatchNode
impl RefUnwindSafe for RuleWatchNode
impl Send for RuleWatchNode
impl Sync for RuleWatchNode
impl Unpin for RuleWatchNode
impl UnsafeUnpin for RuleWatchNode
impl UnwindSafe for RuleWatchNode
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
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