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

Safe Haskell | Safe
Language | Haskell98

SMTLib2.BitVector

# Documentation

tBitVec :: Integer -> Type Source #

bv :: Integer -> Integer -> Expr Source #

concat :: Expr -> Expr -> Expr Source #

extract :: Integer -> Integer -> Expr -> Expr Source #

bvnot :: Expr -> Expr Source #

bvand :: Expr -> Expr -> Expr Source #

bvor :: Expr -> Expr -> Expr Source #

bvneg :: Expr -> Expr Source #

bvadd :: Expr -> Expr -> Expr Source #

bvmul :: Expr -> Expr -> Expr Source #

bvudiv :: Expr -> Expr -> Expr Source #

bvurem :: Expr -> Expr -> Expr Source #

bvshl :: Expr -> Expr -> Expr Source #

bvlshr :: Expr -> Expr -> Expr Source #

bvult :: Expr -> Expr -> Expr Source #

bvnand :: Expr -> Expr -> Expr Source #

bvnor :: Expr -> Expr -> Expr Source #

bvxor :: Expr -> Expr -> Expr Source #

bvxnor :: Expr -> Expr -> Expr Source #

bvcomp :: Expr -> Expr -> Expr Source #

bvsub :: Expr -> Expr -> Expr Source #

bvsdiv :: Expr -> Expr -> Expr Source #

bvsrem :: Expr -> Expr -> Expr Source #

bvsmod :: Expr -> Expr -> Expr Source #

bvashr :: Expr -> Expr -> Expr Source #

repeat :: Integer -> Expr -> Expr -> Expr Source #

zero_extend :: Integer -> Expr -> Expr Source #

sign_extend :: Integer -> Expr -> Expr Source #

rotate_left :: Integer -> Expr -> Expr Source #

rotate_right :: Integer -> Expr -> Expr Source #

bvule :: Expr -> Expr -> Expr Source #

bvugt :: Expr -> Expr -> Expr Source #

bvuge :: Expr -> Expr -> Expr Source #

bvslt :: Expr -> Expr -> Expr Source #

bvsle :: Expr -> Expr -> Expr Source #

bvsgt :: Expr -> Expr -> Expr Source #

bvsge :: Expr -> Expr -> Expr Source #