Trait ratsat::intmap::AsIndex

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

Required Methods

fn as_index(self) -> usize

fn from_index(index: usize) -> Self

Implementors

• impl AsIndex for Var
• impl AsIndex for Lit