Enum splr::state::LogUsizeId[−][src]

pub enum LogUsizeId {
    NumConflict,
    NumPropagate,
    NumDecision,
    RemainingVar,
    AssertedVar,
    EliminatedVar,
    UnreachableCore,
    RemovableClause,
    LBD2Clause,
    Binclause,
    PermanentClause,
    Restart,
    RestartBlock,
    RestartCancel,
    RestartStabilize,
    RestartTriggerLevel,
    RestartTriggerLevelMax,
    Simplify,
    Stabilize,
    ClauseSubsumption,
    Vivify,
    VivifiedVar,
    End,
}

Index for Usize data, used in ProgressRecord.

Variants

NumConflict

NumPropagate

NumDecision

RemainingVar

AssertedVar

EliminatedVar

UnreachableCore

RemovableClause

LBD2Clause

Binclause

PermanentClause

Restart

RestartBlock

RestartCancel

RestartStabilize

RestartTriggerLevel

RestartTriggerLevelMax

Simplify

Stabilize

ClauseSubsumption

Vivify

VivifiedVar

End

Trait Implementations

`impl Clone for LogUsizeId`[src]

`fn clone(&self) -> LogUsizeId`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for LogUsizeId`[src]

`impl Debug for LogUsizeId`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl Index<LogUsizeId> for State`[src]

`type Output = usize`

The returned type after indexing.

`fn index(&self, i: LogUsizeId) -> &Self::Output`[src]

`impl Index<LogUsizeId> for ProgressRecord`[src]

`type Output = usize`

The returned type after indexing.

`fn index(&self, i: LogUsizeId) -> &usize`[src]

`impl IndexMut<LogUsizeId> for State`[src]

`fn index_mut(&mut self, i: LogUsizeId) -> &mut Self::Output`[src]

`impl IndexMut<LogUsizeId> for ProgressRecord`[src]

`fn index_mut(&mut self, i: LogUsizeId) -> &mut usize`[src]

Auto Trait Implementations

`impl RefUnwindSafe for LogUsizeId`

`impl Send for LogUsizeId`

`impl Sync for LogUsizeId`

`impl Unpin for LogUsizeId`

`impl UnwindSafe for LogUsizeId`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

Enum splr::state::LogUsizeId[−][src]

Variants

Trait Implementations

impl Clone for LogUsizeId[src]

fn clone(&self) -> LogUsizeId[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Copy for LogUsizeId[src]

impl Debug for LogUsizeId[src]

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

impl Index<LogUsizeId> for State[src]

type Output = usize

fn index(&self, i: LogUsizeId) -> &Self::Output[src]

impl Index<LogUsizeId> for ProgressRecord[src]

type Output = usize

fn index(&self, i: LogUsizeId) -> &usize[src]

impl IndexMut<LogUsizeId> for State[src]

fn index_mut(&mut self, i: LogUsizeId) -> &mut Self::Output[src]

impl IndexMut<LogUsizeId> for ProgressRecord[src]

fn index_mut(&mut self, i: LogUsizeId) -> &mut usize[src]

Auto Trait Implementations

impl RefUnwindSafe for LogUsizeId

impl Send for LogUsizeId

impl Sync for LogUsizeId

impl Unpin for LogUsizeId

impl UnwindSafe for LogUsizeId

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

`impl Clone for LogUsizeId`[src]

`fn clone(&self) -> LogUsizeId`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Copy for LogUsizeId`[src]

`impl Debug for LogUsizeId`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl Index<LogUsizeId> for State`[src]

`type Output = usize`

`fn index(&self, i: LogUsizeId) -> &Self::Output`[src]

`impl Index<LogUsizeId> for ProgressRecord`[src]

`type Output = usize`

`fn index(&self, i: LogUsizeId) -> &usize`[src]

`impl IndexMut<LogUsizeId> for State`[src]

`fn index_mut(&mut self, i: LogUsizeId) -> &mut Self::Output`[src]

`impl IndexMut<LogUsizeId> for ProgressRecord`[src]

`fn index_mut(&mut self, i: LogUsizeId) -> &mut usize`[src]

`impl RefUnwindSafe for LogUsizeId`

`impl Send for LogUsizeId`

`impl Sync for LogUsizeId`

`impl Unpin for LogUsizeId`

`impl UnwindSafe for LogUsizeId`

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]