PartialConstraint

kasuari

Struct PartialConstraint 

Source 
pub struct PartialConstraint { /* private fields */ }
Expand description

This is an intermediate type used in the syntactic sugar for specifying constraints. You should not use it directly.

Implementations§

Source§

impl PartialConstraint

Source

pub const fn new( expression: Expression, relation: WeightedRelation, ) -> PartialConstraint

Construct a new partial constraint from an expression and a relational operator.

Trait Implementations§

Source§

impl BitOr<Expression> for PartialConstraint

Source§

type Output = Constraint

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: Expression) -> Constraint

Performs the | operation. Read more
Source§

impl BitOr<Term> for PartialConstraint

Source§

type Output = Constraint

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: Term) -> Constraint

Performs the | operation. Read more
Source§

impl BitOr<Variable> for PartialConstraint

Source§

type Output = Constraint

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: Variable) -> Constraint

Performs the | operation. Read more
Source§

impl BitOr<f32> for PartialConstraint

Source§

type Output = Constraint

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: f32) -> Constraint

Performs the | operation. Read more
Source§

impl BitOr<f64> for PartialConstraint

Source§

type Output = Constraint

The resulting type after applying the | operator.
Source§

fn bitor(self, rhs: f64) -> Constraint

Performs the | operation. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.