Trait flussab_cnf::Dimacs

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

    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.

Associated Constants

const MAX_DIMACS: isize

Largest literal / variable supported.

Loading content...

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.

Loading content...

Implementations on Foreign Types

impl Dimacs for isize

const MAX_DIMACS: isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for i64

const MAX_DIMACS: isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for i32

const MAX_DIMACS: isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for i16

const MAX_DIMACS: isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

impl Dimacs for i8

const MAX_DIMACS: isize

fn from_dimacs(value: isize) -> Self

fn dimacs(self) -> isize

Loading content...

Implementors

Loading content...