pub struct BinaryBooleanSentence { /* private fields */ }
Expand description
Holds the left and right operands in the rules conjunction
, disjunction
,
exclusive_disjunction
, implication
, and biconditional
.
Implementations§
Source§impl BinaryBooleanSentence
impl BinaryBooleanSentence
pub fn new<L, R>( left_operand: L, operator: ConnectiveOperator, right_operand: R, ) -> Self
pub fn and<L, R>(left_operand: L, right_operand: R) -> Self
pub fn or<L, R>(left_operand: L, right_operand: R) -> Self
pub fn xor<L, R>(left_operand: L, right_operand: R) -> Self
pub fn implies<L, R>(left_operand: L, right_operand: R) -> Self
pub fn iff<L, R>(left_operand: L, right_operand: R) -> Self
pub const fn left_operand(&self) -> &ConstraintSentence
pub fn set_left_operand(&mut self, left_operand: ConstraintSentence)
pub const fn operator(&self) -> &ConnectiveOperator
pub fn set_operator(&mut self, operator: ConnectiveOperator)
pub const fn right_operand(&self) -> &ConstraintSentence
pub fn set_right_operand(&mut self, right_operand: ConstraintSentence)
Trait Implementations§
Source§impl Clone for BinaryBooleanSentence
impl Clone for BinaryBooleanSentence
Source§fn clone(&self) -> BinaryBooleanSentence
fn clone(&self) -> BinaryBooleanSentence
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 BinaryBooleanSentence
impl Debug for BinaryBooleanSentence
Source§impl<'de> Deserialize<'de> for BinaryBooleanSentence
impl<'de> Deserialize<'de> for BinaryBooleanSentence
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<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 HasSourceSpan for BinaryBooleanSentence
impl HasSourceSpan for BinaryBooleanSentence
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 BinaryBooleanSentence
impl RefUnwindSafe for BinaryBooleanSentence
impl Send for BinaryBooleanSentence
impl Sync for BinaryBooleanSentence
impl Unpin for BinaryBooleanSentence
impl UnwindSafe for BinaryBooleanSentence
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