Trait NthBitLogic 

pub trait NthBitLogic {
    // Required method
    fn nth_bit(self, n: Int) -> bool;
}

Trait for the nth bit of a bitvector in logic code.

Required Methods

fn nth_bit(self, n: Int) -> bool

The nth bit of a bitvector. In bitwise_proof mode, this is translated to nth in Why3. Otherwise this is an abstract function.

logic

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl NthBitLogic for i8

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for i16

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for i32

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for i64

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for i128

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for isize

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for u8

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for u16

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for u32

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for u64

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for u128

fn nth_bit(self, n: Int) -> bool

logic

impl NthBitLogic for usize

fn nth_bit(self, n: Int) -> bool

logic

Implementors