pub enum ConstraintSentence {
Simple(SimpleSentence),
Boolean(BooleanSentence),
Quantified(QuantifiedSentence),
}
Expand description
Corresponds to the grammar rule constraint_sentence
.
A ConstraintSentence
is either a SimpleSentence
, a BooleanSentence
, or
a QuantifiedSentence
.
Variants§
Implementations§
Source§impl ConstraintSentence
impl ConstraintSentence
pub const fn is_simple(&self) -> bool
pub const fn as_simple(&self) -> Option<&SimpleSentence>
pub const fn is_boolean(&self) -> bool
pub const fn as_boolean(&self) -> Option<&BooleanSentence>
pub const fn is_quantified(&self) -> bool
pub const fn as_quantified(&self) -> Option<&QuantifiedSentence>
Trait Implementations§
Source§impl Clone for ConstraintSentence
impl Clone for ConstraintSentence
Source§fn clone(&self) -> ConstraintSentence
fn clone(&self) -> ConstraintSentence
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 ConstraintSentence
impl Debug for ConstraintSentence
Source§impl<'de> Deserialize<'de> for ConstraintSentence
impl<'de> Deserialize<'de> for ConstraintSentence
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 From<&BooleanSentence> for ConstraintSentence
impl From<&BooleanSentence> for ConstraintSentence
Source§fn from(v: &BooleanSentence) -> Self
fn from(v: &BooleanSentence) -> Self
Converts to this type from the input type.
Source§impl From<&QuantifiedSentence> for ConstraintSentence
impl From<&QuantifiedSentence> for ConstraintSentence
Source§fn from(v: &QuantifiedSentence) -> Self
fn from(v: &QuantifiedSentence) -> Self
Converts to this type from the input type.
Source§impl From<&SimpleSentence> for ConstraintSentence
impl From<&SimpleSentence> for ConstraintSentence
Source§fn from(v: &SimpleSentence) -> Self
fn from(v: &SimpleSentence) -> Self
Converts to this type from the input type.
Source§impl From<BooleanSentence> for ConstraintSentence
impl From<BooleanSentence> for ConstraintSentence
Source§fn from(v: BooleanSentence) -> Self
fn from(v: BooleanSentence) -> Self
Converts to this type from the input type.
Source§impl From<ConstraintSentence> for FunctionBody
impl From<ConstraintSentence> for FunctionBody
Source§fn from(value: ConstraintSentence) -> FunctionBody
fn from(value: ConstraintSentence) -> FunctionBody
Converts to this type from the input type.
Source§impl From<QuantifiedSentence> for ConstraintSentence
impl From<QuantifiedSentence> for ConstraintSentence
Source§fn from(v: QuantifiedSentence) -> Self
fn from(v: QuantifiedSentence) -> Self
Converts to this type from the input type.
Source§impl From<SimpleSentence> for ConstraintSentence
impl From<SimpleSentence> for ConstraintSentence
Source§fn from(v: SimpleSentence) -> Self
fn from(v: SimpleSentence) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for ConstraintSentence
impl RefUnwindSafe for ConstraintSentence
impl Send for ConstraintSentence
impl Sync for ConstraintSentence
impl Unpin for ConstraintSentence
impl UnwindSafe for ConstraintSentence
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