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.

Implementations on Foreign Types

impl NthBitLogic for i8

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

impl NthBitLogic for i16

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

impl NthBitLogic for i32

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

impl NthBitLogic for i64

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

impl NthBitLogic for i128

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

impl NthBitLogic for isize

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

impl NthBitLogic for u8

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

impl NthBitLogic for u16

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

impl NthBitLogic for u32

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

impl NthBitLogic for u64

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

impl NthBitLogic for u128

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

impl NthBitLogic for usize

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

Implementors