Enum casuarius::AddConstraintError
source · [−]pub enum AddConstraintError {
DuplicateConstraint,
UnsatisfiableConstraint,
InternalSolverError(&'static str),
}
Expand description
The possible error conditions that Solver::add_constraint
can fail with.
Variants
DuplicateConstraint
The constraint specified has already been added to the solver.
UnsatisfiableConstraint
The constraint is required, but it is unsatisfiable in conjunction with the existing constraints.
InternalSolverError(&'static str)
The solver entered an invalid state. If this occurs please report the issue. This variant specifies additional details as a string.
Trait Implementations
sourceimpl Clone for AddConstraintError
impl Clone for AddConstraintError
sourcefn clone(&self) -> AddConstraintError
fn clone(&self) -> AddConstraintError
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 more
sourceimpl Debug for AddConstraintError
impl Debug for AddConstraintError
impl Copy for AddConstraintError
Auto Trait Implementations
impl RefUnwindSafe for AddConstraintError
impl Send for AddConstraintError
impl Sync for AddConstraintError
impl Unpin for AddConstraintError
impl UnwindSafe for AddConstraintError
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
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