Trait 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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