Enum backtrack::solve::CandidateSolution[−][src]

pub enum CandidateSolution<T = usize> {
    Incomplete,
    Sat(Vec<T>),
    Unsat(Vec<T>),
}

Items of some intermediate solution.

This type is used as item in iterative solvers. Each enum is a test of the next best candidate solution. The iterator is exhausted when no more candidates can be tried.

Variants

Incomplete

Satisfactory solution (but too short)

Sat(Vec<T>)

Satisfying and complete solution including its values

Unsat(Vec<T>)

Unsatisfying (and maybe too short) solution including its values

Trait Implementations

impl<T: Debug> Debug for CandidateSolution<T>[src]

Auto Trait Implementations

impl<T> RefUnwindSafe for CandidateSolution<T> where
    T: RefUnwindSafe, 

impl<T> Send for CandidateSolution<T> where
    T: Send, 

impl<T> Sync for CandidateSolution<T> where
    T: Sync, 

impl<T> Unpin for CandidateSolution<T> where
    T: Unpin, 

impl<T> UnwindSafe for CandidateSolution<T> where
    T: UnwindSafe, 

Blanket Implementations

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

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

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

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

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

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

type Error = Infallible

The type returned in the event of a conversion error.

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

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

The type returned in the event of a conversion error.