pub enum BooleanSentence {
Unary(UnaryBooleanSentence),
Binary(BinaryBooleanSentence),
}
Expand description
Corresponds to the grammar rule boolean_sentence
.
Boolean sentences are those that are constructed with the boolean operations negation (not), conjunction (and), disjunction (or), exclusive disjunction (xor), implication, or biconditional.
Variants§
Unary(UnaryBooleanSentence)
Binary(BinaryBooleanSentence)
Implementations§
Trait Implementations§
Source§impl Clone for BooleanSentence
impl Clone for BooleanSentence
Source§fn clone(&self) -> BooleanSentence
fn clone(&self) -> BooleanSentence
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 BooleanSentence
impl Debug for BooleanSentence
Source§impl<'de> Deserialize<'de> for BooleanSentence
impl<'de> Deserialize<'de> for BooleanSentence
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<&BinaryBooleanSentence> for BooleanSentence
impl From<&BinaryBooleanSentence> for BooleanSentence
Source§fn from(v: &BinaryBooleanSentence) -> Self
fn from(v: &BinaryBooleanSentence) -> 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<&UnaryBooleanSentence> for BooleanSentence
impl From<&UnaryBooleanSentence> for BooleanSentence
Source§fn from(v: &UnaryBooleanSentence) -> Self
fn from(v: &UnaryBooleanSentence) -> Self
Converts to this type from the input type.
Source§impl From<BinaryBooleanSentence> for BooleanSentence
impl From<BinaryBooleanSentence> for BooleanSentence
Source§fn from(v: BinaryBooleanSentence) -> Self
fn from(v: BinaryBooleanSentence) -> 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<BooleanSentence> for FunctionBody
impl From<BooleanSentence> for FunctionBody
Source§fn from(value: BooleanSentence) -> FunctionBody
fn from(value: BooleanSentence) -> FunctionBody
Converts to this type from the input type.
Source§impl From<UnaryBooleanSentence> for BooleanSentence
impl From<UnaryBooleanSentence> for BooleanSentence
Source§fn from(v: UnaryBooleanSentence) -> Self
fn from(v: UnaryBooleanSentence) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for BooleanSentence
impl RefUnwindSafe for BooleanSentence
impl Send for BooleanSentence
impl Sync for BooleanSentence
impl Unpin for BooleanSentence
impl UnwindSafe for BooleanSentence
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