Enum gf::support::bitvec::BitVecOp

pub enum BitVecOp {
    Add,
    Addso,
    Adduo,
    And,
    Concat,
    Dec,
    Divs,
    Divso,
    Divu,
    Eq,
    Exts(usize),
    Extu(usize),
    Gts,
    Gtu,
    Gtes,
    Gteu,
    Iff,
    Implies,
    Inc,
    Ite,
    Lts,
    Ltu,
    Ltes,
    Lteu,
    Mods,
    Mul,
    Mulso,
    Muluo,
    Nand,
    Ne,
    Neg,
    Nor,
    Not,
    Or,
    Redand,
    Redor,
    Redxor,
    Repeat(usize),
    Rems,
    Remu,
    Rol,
    Ror,
    Slice(usize, usize),
    Sll,
    Sra,
    Srl,
    Sub,
    Subso,
    Subuo,
    Xnor,
    Xor,
}

Bit vector operator.

Variants

Add

Wrapping integer addition.

Addso

Signed integer addition overflow indicator.

Adduo

Unsigned integer addition overflow indicator.

And

Bitwise AND.

Concat

Concatenation of two bit vectors.

Dec

Wrapping integer decrement.

Divs

Signed integer division.

Divso

Signed integer division overflow indicator.

Divu

Unsigned integer division.

Eq

Equality indicator.

Exts(usize)

Signed extension, adds given number of sign bit copies.

Extu(usize)

Unsigned extension, adds given number of zero bits.

Gts

Signed greater-than indicator.

Gtu

Unsigned greater-than indicator.

Gtes

Signed greater-than-or-equal indicator.

Gteu

Unsigned greater-than-or-equal indicator.

Iff

Boolean equivalence.

Implies

Boolean implication.

Inc

Wrapping integer increment.

Ite

If-then-else.

Lts

Signed less-than indicator.

Ltu

Unsigned less-than indicator.

Ltes

Signed less-than-or-equal indicator.

Lteu

Unsigned less-than-or-equal indicator.

Mods

Signed integer modulo, sign of result matches sign of divisor.

Mul

Truncating integer multiplication.

Mulso

Signed integer multiplication overflow indicator.

Muluo

Unsigned integer multiplication overflow indicator.

Nand

Bitwise NAND.

Ne

Inequality indicator.

Neg

Signed integer negation.

Nor

Bitwise NOR.

Not

Bitwise inversion.

Or

Bitwise OR.

Redand

Bitwise AND-reduction.

Redor

Bitwise OR-reduction.

Redxor

Bitwise XOR-reduction.

Repeat(usize)

Repetition.

Rems

Signed integer remainder.

Remu

Unsigned integer remainder.

Rol

Left rotation.

Ror

Right rotation.

Slice(usize, usize)

Bit slice, Slice(a, b) for bits from the [a; b) half-open interval.

Sll

Left shift.

Sra

Right arithmetic shift.

Srl

Right logical shift.

Sub

Wrapping integer subtraction.

Subso

Signed integer subtraction overflow indicator.

Subuo

Unsigned integer subtraction overflow indicator.

Xnor

Bitwise XNOR.

Xor

Bitwise XOR.

Implementations

impl BitVecOp

pub fn from_str(name: &str, params: &[usize]) -> Result<Self, Option<usize>>

Create an operator from its string name and sequence of parameters.

Errors

• Returns Err(None) if name is not a known operator name.
• Returns Err(Some(n)) on invalid parameter count, n is the expected count.

pub fn signature(self) -> BitVecOpSignature

Return operator signature.

pub fn is_commutative(&self) -> bool

Check whether binary operator is commutative

Trait Implementations

impl Clone for BitVecOp

fn clone(&self) -> BitVecOp

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for BitVecOp

impl Debug for BitVecOp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for BitVecOp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for BitVecOp

impl Hash for BitVecOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<BitVecOp> for BitVecOp

fn eq(&self, other: &BitVecOp) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &BitVecOp) -> bool

This method tests for !=.

impl StructuralEq for BitVecOp

impl StructuralPartialEq for BitVecOp