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§
Source§impl Clone for AddConstraintError
impl Clone for AddConstraintError
Source§fn clone(&self) -> AddConstraintError
fn clone(&self) -> AddConstraintError
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for AddConstraintError
impl Debug for AddConstraintError
impl Copy for AddConstraintError
Auto Trait Implementations§
impl Freeze for AddConstraintError
impl RefUnwindSafe for AddConstraintError
impl Send for AddConstraintError
impl Sync for AddConstraintError
impl Unpin for AddConstraintError
impl UnwindSafe for AddConstraintError
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