smtLib-1.1: A library for working with the SMTLIB format.
Safe HaskellSafe
LanguageHaskell98

SMTLib1.QF_BV

Synopsis

Documentation

module SMTLib1

tBitVec :: Integer -> Sort Source #

isBitVec :: Sort -> Maybe Integer Source #

bit0 :: Term Source #

BitVec[1]

bit1 :: Term Source #

BitVec[1]

concat :: Term -> Term -> Term Source #

m
-> [n] -> [m+n]

extract :: Integer -> Integer -> Term -> Term Source #

bv :: Integer -> Integer -> Term Source #

repeat :: Integer -> Term -> Term Source #

zero_extend :: Integer -> Term -> Term Source #

sign_extend :: Integer -> Term -> Term Source #

rotate_left :: Integer -> Term -> Term Source #

rotate_right :: Integer -> Term -> Term Source #