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>;
}

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

Associated Types

type SolverRef: SolverRef<BV = Self::BV>[src]

type BV: BV<SolverRef = Self::SolverRef>[src]

type Memory: Memory<SolverRef = Self::SolverRef, Index = Self::BV, Value = Self::BV>[src]

Loading content...

Implementors

impl Backend for CellMemoryBackend[src]

type SolverRef = Rc<Btor>

type BV = BV<Rc<Btor>>

type Memory = Memory

impl Backend for DefaultBackend[src]

type SolverRef = Rc<Btor>

type BV = BV<Rc<Btor>>

type Memory = Memory

Loading content...