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