[−][src]Trait batsat::intmap::AsIndex

pub trait AsIndex: Copy {
    pub fn as_index(self) -> usize;
    pub fn from_index(index: usize) -> Self;
}

Required methods

`pub fn as_index(self) -> usize`[src]

`pub fn from_index(index: usize) -> Self`[src]

Loading content...

Implementors

`impl AsIndex for Lit`[src]

`pub fn as_index(self) -> usize`[src]

`pub fn from_index(index: usize) -> Self`[src]

`impl AsIndex for Var`[src]

`pub fn as_index(self) -> usize`[src]

`pub fn from_index(index: usize) -> Self`[src]

Loading content...