smtLib-1.0.9: A library for working with the SMTLIB format.
SMTLib2.BitVector
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 #