Trait flussab_cnf::Dimacs

pub trait Dimacs: Copy + Eq {
    const MAX_DIMACS: isize;

    // Required methods
    fn from_dimacs(value: isize) -> Self;
    fn dimacs(self) -> isize;
}

Type that can be used to represent literals and variables in DIMACS CNF and related file formats.

Required Associated Constants

const MAX_DIMACS: isize

Largest literal / variable supported.

Required Methods

fn from_dimacs(value: isize) -> Self

Returns a literal / variable that is encoded as the passed integer in the DIMACS CNF format.

If the value is out of range, e.g. negative for a variable, this may panic or return an arbitrary value.

fn dimacs(self) -> isize

Returns the integer that is used to encode this literal / variable in the DIMACS CNF format.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Dimacs for i8

const MAX_DIMACS: isize = 127isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for i16

const MAX_DIMACS: isize = 32_767isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for i32

const MAX_DIMACS: isize = 2_147_483_647isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for i64

const MAX_DIMACS: isize = 9_223_372_036_854_775_807isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for isize

const MAX_DIMACS: isize = 9_223_372_036_854_775_807isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

Implementors