Enum batsat::interface::FinalCheckRes
source · pub enum FinalCheckRes {
Done,
Conflict,
}
Expand description
Result returned by the final_check
call.
A theory can validate the model (returning Done
)
or signal a conflict (Conflict
). If the theory also pushed clauses
upon Done
then the model search will resume.
Variants
Done
Conflict
Trait Implementations
sourceimpl Clone for FinalCheckRes
impl Clone for FinalCheckRes
sourcefn clone(&self) -> FinalCheckRes
fn clone(&self) -> FinalCheckRes
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for FinalCheckRes
impl Debug for FinalCheckRes
sourceimpl PartialEq<FinalCheckRes> for FinalCheckRes
impl PartialEq<FinalCheckRes> for FinalCheckRes
sourcefn eq(&self, other: &FinalCheckRes) -> bool
fn eq(&self, other: &FinalCheckRes) -> bool
impl Copy for FinalCheckRes
impl Eq for FinalCheckRes
impl StructuralEq for FinalCheckRes
impl StructuralPartialEq for FinalCheckRes
Auto Trait Implementations
impl RefUnwindSafe for FinalCheckRes
impl Send for FinalCheckRes
impl Sync for FinalCheckRes
impl Unpin for FinalCheckRes
impl UnwindSafe for FinalCheckRes
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