smtLib-1.0.8: 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