[−][src]Module haybale::backend

Traits which abstract over the backend (BV types, memory implementation, etc) being used.

Structs

CellMemoryBackend
DefaultBackend

Traits

BV

Trait for things which can act like bitvectors.

Backend

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

Memory

Trait for things which can act like 'memories', that is, maps from bitvector (addresses) to bitvector (values)

SolverRef

Trait for something which acts as a reference to a boolector::Btor (and possibly may carry other information as well).