Enum chalk_engine::context::AnswerResult
source · pub enum AnswerResult<I: Interner> {
Answer(CompleteAnswer<I>),
NoMoreSolutions,
Floundered,
QuantumExceeded,
}
Variants
Answer(CompleteAnswer<I>)
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
Implementations
sourceimpl<I: Interner> AnswerResult<I>
impl<I: Interner> AnswerResult<I>
pub fn is_answer(&self) -> bool
pub fn answer(self) -> CompleteAnswer<I>
pub fn is_no_more_solutions(&self) -> bool
pub fn is_quantum_exceeded(&self) -> bool
Trait Implementations
Auto Trait Implementations
impl<I> RefUnwindSafe for AnswerResult<I>where
<I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<I as Interner>::InternedConstraints: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
impl<I> Send for AnswerResult<I>where
<I as Interner>::InternedCanonicalVarKinds: Send,
<I as Interner>::InternedConstraints: Send,
<I as Interner>::InternedSubstitution: Send,
impl<I> Sync for AnswerResult<I>where
<I as Interner>::InternedCanonicalVarKinds: Sync,
<I as Interner>::InternedConstraints: Sync,
<I as Interner>::InternedSubstitution: Sync,
impl<I> Unpin for AnswerResult<I>where
<I as Interner>::InternedCanonicalVarKinds: Unpin,
<I as Interner>::InternedConstraints: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
impl<I> UnwindSafe for AnswerResult<I>where
<I as Interner>::InternedCanonicalVarKinds: UnwindSafe,
<I as Interner>::InternedConstraints: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Cast for T
impl<T> Cast for T
sourcefn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.