Trait haybale::backend::Backend

source · 
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

Required Associated Types§

source

type SolverRef: SolverRef<BV = Self::BV>

source

type BV: BV<SolverRef = Self::SolverRef>

source

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

Object Safety§

This trait is not object safe.

Implementors§