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

pub enum Stat {
    NoDecisionConflict,
    Vivification,
    VivifiedVar,
    EndOfStatIndex,
}

stat index.

Variants

NoDecisionConflict

the number of ‘no decision conflict’

Vivification

the number of vivification

VivifiedVar

the number of vivified (asserted) vars

EndOfStatIndex

don’t use this dummy (sentinel at the tail).

Trait Implementations

`impl Clone for Stat`[src]

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

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

`impl Eq for Stat`[src]

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

`type Output = usize`

The returned type after indexing.

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

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

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

`impl PartialEq<Stat> for Stat`[src]

`fn eq(&self, other: &Stat) -> bool`[src]

`#[must_use]pub fn ne(&self, other: &Rhs) -> bool`1.0.0[src]

`impl StructuralEq for Stat`[src]

`impl StructuralPartialEq for Stat`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Stat`

`impl Send for Stat`

`impl Sync for Stat`

`impl Unpin for Stat`

`impl UnwindSafe for Stat`

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::Stat[−][src]

Variants

Trait Implementations

impl Clone for Stat[src]

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

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

impl Eq for Stat[src]

impl Index<Stat> for State[src]

type Output = usize

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

impl IndexMut<Stat> for State[src]

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

impl PartialEq<Stat> for Stat[src]

fn eq(&self, other: &Stat) -> bool[src]

#[must_use]pub fn ne(&self, other: &Rhs) -> bool1.0.0[src]

impl StructuralEq for Stat[src]

impl StructuralPartialEq for Stat[src]

Auto Trait Implementations

impl RefUnwindSafe for Stat

impl Send for Stat

impl Sync for Stat

impl Unpin for Stat

impl UnwindSafe for Stat

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]