Enum valkyrie_ast::LogicMatrix
source · #[repr(u8)]pub enum LogicMatrix {
Show 16 variants
False = 0,
And = 1,
AndNot = 2,
P = 3,
NotAnd = 4,
Q = 5,
Xor = 6,
Or = 7,
Nor = 8,
Xnor = 9,
NotQ = 10,
OrNot = 11,
NotP = 12,
NotOr = 13,
Nand = 14,
True = 15,
}Expand description
Variants of all logical operators.
Variants§
False = 0
- always false
And = 1
- p and q ∧
AndNot = 2
- p and not q >
P = 3
- p ⊣
NotAnd = 4
- not p and q <
Q = 5
- q ⊢
Xor = 6
- xor ≠
Or = 7
- p or q ∨
Nor = 8
- not p and not q ⍱
Xnor = 9
- p == q
NotQ = 10
- not q ~⊢
OrNot = 11
- p or not q ≥
NotP = 12
- not p ~⊣
NotOr = 13
- not p or q ≤
Nand = 14
- not p or not q ⍲
True = 15
- always true
Implementations§
Trait Implementations§
source§impl Clone for LogicMatrix
impl Clone for LogicMatrix
source§fn clone(&self) -> LogicMatrix
fn clone(&self) -> LogicMatrix
Returns a copy 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 LogicMatrix
impl Debug for LogicMatrix
source§impl From<LogicMatrix> for ValkyrieOperator
impl From<LogicMatrix> for ValkyrieOperator
source§fn from(logic: LogicMatrix) -> Self
fn from(logic: LogicMatrix) -> Self
Converts to this type from the input type.
source§impl Hash for LogicMatrix
impl Hash for LogicMatrix
source§impl Ord for LogicMatrix
impl Ord for LogicMatrix
source§fn cmp(&self, other: &LogicMatrix) -> Ordering
fn cmp(&self, other: &LogicMatrix) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq for LogicMatrix
impl PartialEq for LogicMatrix
source§fn eq(&self, other: &LogicMatrix) -> bool
fn eq(&self, other: &LogicMatrix) -> bool
This method tests for
self and other values to be equal, and is used
by ==.source§impl PartialOrd for LogicMatrix
impl PartialOrd for LogicMatrix
source§fn partial_cmp(&self, other: &LogicMatrix) -> Option<Ordering>
fn partial_cmp(&self, other: &LogicMatrix) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self and other) and is used by the <=
operator. Read moreimpl Copy for LogicMatrix
impl Eq for LogicMatrix
impl StructuralPartialEq for LogicMatrix
Auto Trait Implementations§
impl RefUnwindSafe for LogicMatrix
impl Send for LogicMatrix
impl Sync for LogicMatrix
impl Unpin for LogicMatrix
impl UnwindSafe for LogicMatrix
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