Struct cfg::history::HistoryNodeEliminateNulling
source · pub struct HistoryNodeEliminateNulling {
pub prev: HistoryId,
pub rhs0: Symbol,
pub rhs1: Option<Symbol>,
pub which: BinarizedRhsSubset,
}
Fields§
§prev: HistoryId
§rhs0: Symbol
§rhs1: Option<Symbol>
§which: BinarizedRhsSubset
Trait Implementations§
source§impl Clone for HistoryNodeEliminateNulling
impl Clone for HistoryNodeEliminateNulling
source§fn clone(&self) -> HistoryNodeEliminateNulling
fn clone(&self) -> HistoryNodeEliminateNulling
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl From<HistoryNodeEliminateNulling> for HistoryNode
impl From<HistoryNodeEliminateNulling> for HistoryNode
source§fn from(value: HistoryNodeEliminateNulling) -> Self
fn from(value: HistoryNodeEliminateNulling) -> Self
Converts to this type from the input type.
impl Copy for HistoryNodeEliminateNulling
Auto Trait Implementations§
impl RefUnwindSafe for HistoryNodeEliminateNulling
impl Send for HistoryNodeEliminateNulling
impl Sync for HistoryNodeEliminateNulling
impl Unpin for HistoryNodeEliminateNulling
impl UnwindSafe for HistoryNodeEliminateNulling
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