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

Safe Haskell	Safe
Language	Haskell98

Language.SMTLib2.Internals.Operators

Documentation

data SMTOrdOp Source

Constructors

Ge
Gt
Le
Lt

Instances

Eq SMTOrdOp Source
Ord SMTOrdOp Source
Show SMTOrdOp Source

data SMTArithOp Source

Constructors

Plus
Mult

Instances

Eq SMTArithOp Source
Ord SMTArithOp Source
Show SMTArithOp Source

data SMTIntArithOp Source

Constructors

Div
Mod
Rem

Instances

Eq SMTIntArithOp Source
Ord SMTIntArithOp Source
Show SMTIntArithOp Source

data SMTLogicOp Source

Constructors

And
Or
XOr
Implies

Instances

Eq SMTLogicOp Source
Ord SMTLogicOp Source
Show SMTLogicOp Source

data SMTBVCompOp Source

Constructors

BVULE
BVULT
BVUGE
BVUGT
BVSLE
BVSLT
BVSGE
BVSGT

Instances

Eq SMTBVCompOp Source
Ord SMTBVCompOp Source
Show SMTBVCompOp Source

data SMTBVBinOp Source

Constructors

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

Instances

Eq SMTBVBinOp Source
Ord SMTBVBinOp Source
Show SMTBVBinOp Source

data SMTBVUnOp Source

Constructors

BVNot
BVNeg

Instances

Eq SMTBVUnOp Source
Ord SMTBVUnOp Source
Show SMTBVUnOp Source