smtLib-1.0.9: A library for working with the SMTLIB format.

Safe HaskellSafe
LanguageHaskell98

SMTLib1.QF_AUFBV

Synopsis

Documentation

tArray :: Integer -> Integer -> Sort Source #

'tArray i n' is an array indexed by bitvectors of widht i, and storing bitvectors of width n.

select :: Term -> Term -> Term Source #

select array index

store :: Term -> Term -> Term -> Term Source #

store array index value

module SMTLib1.QF_BV