pub enum ConstraintError {
NonIncreasingS {
index: usize,
},
NoMatchDimensions,
NoMatchOrder,
InvalidSignedBounds {
bound_name: &'static str,
},
OutOfSBounds {
idx_s: usize,
len: usize,
},
NonPositiveA,
NonPositiveLinearizationFloor,
NoGivenQInfo,
LinearJerkNotAvailable {
idx_s: usize,
valid_range: (usize, usize),
},
NoDynamic,
InfeasibleReference,
EmptyInterval {
start: usize,
end: usize,
},
}Expand description
Error type for constraint storage/query operations.
§Usage recommendation
For public-facing application code, prefer using CoppError
as the unified error type.
ConstraintError is automatically converted into CoppError via
From<ConstraintError> for CoppError, so ? can be used directly when
your function returns Result<_, CoppError>.
Variants§
NonIncreasingS
Input station sequence is not strictly increasing.
NoMatchDimensions
Input matrix/vector dimensions are incompatible with expected shape.
NoMatchOrder
Input ordering contract is violated.
InvalidSignedBounds
Signed upper/lower bounds violate strict feasibility contract.
OutOfSBounds
Requested station interval is outside currently stored constraints range.
NonPositiveA
a violates positivity / non-negativity preconditions.
NonPositiveLinearizationFloor
Linearization floor must be strictly positive.
NoGivenQInfo
Required path-derivative data is missing in the requested interval.
LinearJerkNotAvailable
Linearized jerk constraints are unavailable at the requested station.
NoDynamic
Dynamic-model data has not been provided.
InfeasibleReference
Reference profile is infeasible under current constraints.
EmptyInterval
Requested interval is empty.
Trait Implementations§
Source§impl Debug for ConstraintError
impl Debug for ConstraintError
Source§impl Display for ConstraintError
impl Display for ConstraintError
Source§impl Error for ConstraintError
impl Error for ConstraintError
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
Source§impl From<ConstraintError> for CoppError
impl From<ConstraintError> for CoppError
Source§fn from(source: ConstraintError) -> Self
fn from(source: ConstraintError) -> Self
Auto Trait Implementations§
impl Freeze for ConstraintError
impl RefUnwindSafe for ConstraintError
impl Send for ConstraintError
impl Sync for ConstraintError
impl Unpin for ConstraintError
impl UnwindSafe for ConstraintError
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
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.