[−][src]Struct optimization_engine::constraints::BallInf
An infinity ball defined as $B_\infty^r = \{x\in\mathbb{R}^n {}:{} \Vert{}x{}\Vert_{\infty} \leq r\}$, where $\Vert{}\cdot{}\Vert_{\infty}$ is the infinity norm. The infinity ball centered at a point $x_c$ is defined as $B_\infty^{x_c,r} = \{x\in\mathbb{R}^n {}:{} \Vert{}x-x_c{}\Vert_{\infty} \leq r\}$.
Implementations
impl<'a> BallInf<'a>
[src]
pub fn new(center: Option<&'a [f64]>, radius: f64) -> Self
[src]
Construct a new infinity-norm ball with given center and radius
If no center
is given, then it is assumed to be in the origin
Trait Implementations
impl<'a> Clone for BallInf<'a>
[src]
impl<'a> Constraint for BallInf<'a>
[src]
fn project(&self, x: &mut [f64])
[src]
Computes the projection of a given vector x
on the current infinity ball.
The projection of a $v\in\mathbb{R}^{n}$ on $B_\infty^r$ is given by $\Pi_{B_\infty^r}(v) = z$ with
$$ z_i = \begin{cases}v_i,&\text{ if } |z_i| \leq r\\\mathrm{sng}(v_i)r,&\text{ otherwise}\end{cases} $$
for all $i=1,\ldots, n$, where sgn is the sign function.
The projection of $v\in\mathbb{R}^{n}$ on $B_\infty^{x_c,r}$ is given by $\Pi_{B_\infty^r}(v) = z$ with
$$ z_i = \begin{cases}v_i,&\text{ if } |z_i-x_{c, i}| \leq r\\x_{c,i} + \mathrm{sng}(v_i)r,&\text{ otherwise}\end{cases} $$
for all $i=1,\ldots, n$.
fn is_convex(&self) -> bool
[src]
impl<'a> Copy for BallInf<'a>
[src]
Auto Trait Implementations
impl<'a> RefUnwindSafe for BallInf<'a>
impl<'a> Send for BallInf<'a>
impl<'a> Sync for BallInf<'a>
impl<'a> Unpin for BallInf<'a>
impl<'a> UnwindSafe for BallInf<'a>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,