Enum tptp::common::NonassocConnective
source ·
[−]pub enum NonassocConnective {
LRImplies,
RLImplies,
Equivalent,
NotEquivalent,
NotOr,
NotAnd,
}
Expand description
Variants
LRImplies
=>
RLImplies
<=
Equivalent
<=>
NotEquivalent
<~>
NotOr
~|
NotAnd
~&
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for NonassocConnective
impl Send for NonassocConnective
impl Sync for NonassocConnective
impl Unpin for NonassocConnective
impl UnwindSafe for NonassocConnective
Blanket Implementations
Mutably borrows from an owned value. Read more