[−][src]Enum chalk_engine::context::AnswerResult

pub enum AnswerResult<C: Context> {
    Answer(CompleteAnswer<C>),
    NoMoreSolutions,
    Floundered,
    QuantumExceeded,
}

Variants

Answer(CompleteAnswer<C>)

The next available answer.

NoMoreSolutions

No answer could be returned because there are no more solutions.

Floundered

No answer could be returned because the goal has floundered.

QuantumExceeded

Methods

impl<C: Context> AnswerResult<C>[src]

pub fn is_answer(&self) -> bool[src]

pub fn answer(self) -> CompleteAnswer<C>[src]

pub fn is_no_more_solutions(&self) -> bool[src]

pub fn is_quantum_exceeded(&self) -> bool[src]

Trait Implementations

impl<C: Context> Debug for AnswerResult<C>[src]

Auto Trait Implementations

impl<C> RefUnwindSafe for AnswerResult<C> where
    <C as Context>::CanonicalConstrainedSubst: RefUnwindSafe, 

impl<C> Send for AnswerResult<C> where
    <C as Context>::CanonicalConstrainedSubst: Send, 

impl<C> Sync for AnswerResult<C> where
    <C as Context>::CanonicalConstrainedSubst: Sync, 

impl<C> Unpin for AnswerResult<C> where
    <C as Context>::CanonicalConstrainedSubst: Unpin, 

impl<C> UnwindSafe for AnswerResult<C> where
    <C as Context>::CanonicalConstrainedSubst: 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.