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§
source§impl<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> Freeze for AnswerResult<I>
impl<I> RefUnwindSafe for AnswerResult<I>where
<I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
<I as Interner>::InternedConstraints: RefUnwindSafe,
impl<I> Send for AnswerResult<I>
impl<I> Sync for AnswerResult<I>
impl<I> Unpin for AnswerResult<I>
impl<I> UnwindSafe for AnswerResult<I>where
<I as Interner>::InternedCanonicalVarKinds: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
<I as Interner>::InternedConstraints: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more