smtlib2-0.2: A type-safe interface to communicate with an SMT solver.

Safe Haskell	Safe-Inferred
Language	Haskell98

Language.SMTLib2.Internals.Operators

Documentation

data SMTOrdOp Source

Constructors

Ge
Gt
Le
Lt

Instances

Eq SMTOrdOp
Ord SMTOrdOp
Show SMTOrdOp
Typeable * SMTOrdOp

data SMTArithOp Source

Constructors

Plus
Mult

Instances

Eq SMTArithOp
Ord SMTArithOp
Show SMTArithOp
Typeable * SMTArithOp

data SMTIntArithOp Source

Constructors

Div
Mod
Rem

Instances

Eq SMTIntArithOp
Ord SMTIntArithOp
Show SMTIntArithOp
Typeable * SMTIntArithOp

data SMTLogicOp Source

Constructors

And
Or
XOr
Implies

Instances

Eq SMTLogicOp
Ord SMTLogicOp
Show SMTLogicOp
Typeable * SMTLogicOp

data SMTBVCompOp Source

Constructors

BVULE
BVULT
BVUGE
BVUGT
BVSLE
BVSLT
BVSGE
BVSGT

Instances

Eq SMTBVCompOp
Ord SMTBVCompOp
Show SMTBVCompOp
Typeable * SMTBVCompOp

data SMTBVBinOp Source

Constructors

BVAdd
BVSub
BVMul
BVURem
BVSRem
BVUDiv
BVSDiv
BVSHL
BVLSHR
BVASHR
BVXor
BVAnd
BVOr

Instances

Eq SMTBVBinOp
Ord SMTBVBinOp
Show SMTBVBinOp
Typeable * SMTBVBinOp

data SMTBVUnOp Source

Constructors

BVNot
BVNeg

Instances

Eq SMTBVUnOp
Ord SMTBVUnOp
Show SMTBVUnOp
Typeable * SMTBVUnOp