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

SMTLib2.BitVector

Documentation

tBitVec :: Integer -> TypeSource

bv :: Integer -> Integer -> ExprSource

concat :: Expr -> Expr -> ExprSource

extract :: Integer -> Integer -> Expr -> ExprSource

bvnot :: Expr -> ExprSource

bvand :: Expr -> Expr -> ExprSource

bvor :: Expr -> Expr -> ExprSource

bvneg :: Expr -> ExprSource

bvadd :: Expr -> Expr -> ExprSource

bvmul :: Expr -> Expr -> ExprSource

bvudiv :: Expr -> Expr -> ExprSource

bvurem :: Expr -> Expr -> ExprSource

bvshl :: Expr -> Expr -> ExprSource

bvlshr :: Expr -> Expr -> ExprSource

bvult :: Expr -> Expr -> ExprSource

bvnand :: Expr -> Expr -> ExprSource

bvnor :: Expr -> Expr -> ExprSource

bvxor :: Expr -> Expr -> ExprSource

bvxnor :: Expr -> Expr -> ExprSource

bvcomp :: Expr -> Expr -> ExprSource

bvsub :: Expr -> Expr -> ExprSource

bvsdiv :: Expr -> Expr -> ExprSource

bvsrem :: Expr -> Expr -> ExprSource

bvsmod :: Expr -> Expr -> ExprSource

bvashr :: Expr -> Expr -> ExprSource

repeat :: Integer -> Expr -> Expr -> ExprSource

zero_extend :: Integer -> Expr -> ExprSource

sign_extend :: Integer -> Expr -> ExprSource

rotate_left :: Integer -> Expr -> ExprSource

rotate_right :: Integer -> Expr -> ExprSource

bvule :: Expr -> Expr -> ExprSource

bvugt :: Expr -> Expr -> ExprSource

bvuge :: Expr -> Expr -> ExprSource

bvslt :: Expr -> Expr -> ExprSource

bvsle :: Expr -> Expr -> ExprSource

bvsgt :: Expr -> Expr -> ExprSource

bvsge :: Expr -> Expr -> ExprSource