pub struct QuantifiedExpr {
pub quantifier: Quantifier,
pub var_name: NameS,
pub var_expr: Box<ExprSingleS>,
pub satisfies_expr: Box<ExprSingleS>,
}Fields§
§quantifier: Quantifier§var_name: NameS§var_expr: Box<ExprSingleS>§satisfies_expr: Box<ExprSingleS>Trait Implementations§
Source§impl Clone for QuantifiedExpr
impl Clone for QuantifiedExpr
Source§fn clone(&self) -> QuantifiedExpr
fn clone(&self) -> QuantifiedExpr
Returns a duplicate 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 QuantifiedExpr
impl Debug for QuantifiedExpr
Source§impl PartialEq for QuantifiedExpr
impl PartialEq for QuantifiedExpr
impl Eq for QuantifiedExpr
impl StructuralPartialEq for QuantifiedExpr
Auto Trait Implementations§
impl Freeze for QuantifiedExpr
impl RefUnwindSafe for QuantifiedExpr
impl Send for QuantifiedExpr
impl Sync for QuantifiedExpr
impl Unpin for QuantifiedExpr
impl UnwindSafe for QuantifiedExpr
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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>
Converts
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>
Converts
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