pub struct QuantifiedVariableBinding { /* private fields */ }
Implementations§
Source§impl QuantifiedVariableBinding
impl QuantifiedVariableBinding
pub fn new(quantifier: Quantifier, binding: QuantifiedVariable) -> Self
pub fn new_existential(binding: QuantifiedVariable) -> Self
pub fn new_universal(binding: QuantifiedVariable) -> Self
pub const fn quantifier(&self) -> &Quantifier
pub fn set_quantifier(&mut self, quantifier: Quantifier)
pub const fn is_existential(&self) -> bool
pub const fn is_universal(&self) -> bool
pub const fn binding(&self) -> &QuantifiedVariable
pub fn set_binding(&mut self, binding: QuantifiedVariable)
Trait Implementations§
Source§impl Clone for QuantifiedVariableBinding
impl Clone for QuantifiedVariableBinding
Source§fn clone(&self) -> QuantifiedVariableBinding
fn clone(&self) -> QuantifiedVariableBinding
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 QuantifiedVariableBinding
impl Debug for QuantifiedVariableBinding
Source§impl<'de> Deserialize<'de> for QuantifiedVariableBinding
impl<'de> Deserialize<'de> for QuantifiedVariableBinding
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl HasSourceSpan for QuantifiedVariableBinding
impl HasSourceSpan for QuantifiedVariableBinding
fn with_source_span(self, span: Span) -> Self
fn source_span(&self) -> Option<&Span>
fn set_source_span(&mut self, span: Span)
fn unset_source_span(&mut self)
fn has_source_span(&self) -> bool
Auto Trait Implementations§
impl Freeze for QuantifiedVariableBinding
impl RefUnwindSafe for QuantifiedVariableBinding
impl Send for QuantifiedVariableBinding
impl Sync for QuantifiedVariableBinding
impl Unpin for QuantifiedVariableBinding
impl UnwindSafe for QuantifiedVariableBinding
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