Trait haybale::backend::Backend[−][src]

pub trait Backend: Clone {
    type SolverRef: SolverRef<BV = Self::BV>;
    type BV: BV<SolverRef = Self::SolverRef>;
    type Memory: Memory<SolverRef = Self::SolverRef, Index = Self::BV, Value = Self::BV>;
}
Expand description

A Backend is just a collection of types which together implement the necessary traits

Associated Types

Implementors