Trait flussab_aiger::Lit

pub trait Lit: Copy + Eq + Hash + Debug {
    const MAX_CODE: usize;

    // Required methods
    fn from_code(code: usize) -> Self;
    fn code(self) -> usize;
}

Required Associated Constants

const MAX_CODE: usize

Required Methods

fn from_code(code: usize) -> Self

fn code(self) -> usize

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Lit for u8

const MAX_CODE: usize = 255usize

fn from_code(code: usize) -> Self

fn code(self) -> usize

impl Lit for u16

const MAX_CODE: usize = 65_535usize

fn from_code(code: usize) -> Self

fn code(self) -> usize

impl Lit for u32

const MAX_CODE: usize = 4_294_967_295usize

fn from_code(code: usize) -> Self

fn code(self) -> usize

impl Lit for u64

const MAX_CODE: usize = 18_446_744_073_709_551_615usize

fn from_code(code: usize) -> Self

fn code(self) -> usize

impl Lit for usize

const MAX_CODE: usize = 18_446_744_073_709_551_615usize

fn from_code(code: usize) -> Self

fn code(self) -> usize

Implementors