Safe Haskell	Safe
Language	Haskell98

Language.SMTLib2.Internals.Operators

Documentation

Constructors

Instances

Eq SMTOrdOp Source #
Methods (==) :: SMTOrdOp -> SMTOrdOp -> Bool # (/=) :: SMTOrdOp -> SMTOrdOp -> Bool #
Ord SMTOrdOp Source #
Methods compare :: SMTOrdOp -> SMTOrdOp -> Ordering # (<) :: SMTOrdOp -> SMTOrdOp -> Bool # (<=) :: SMTOrdOp -> SMTOrdOp -> Bool # (>) :: SMTOrdOp -> SMTOrdOp -> Bool # (>=) :: SMTOrdOp -> SMTOrdOp -> Bool # max :: SMTOrdOp -> SMTOrdOp -> SMTOrdOp # min :: SMTOrdOp -> SMTOrdOp -> SMTOrdOp #
Show SMTOrdOp Source #
Methods showsPrec :: Int -> SMTOrdOp -> ShowS # show :: SMTOrdOp -> String # showList :: [SMTOrdOp] -> ShowS #

Constructors

Plus
Mult

Instances

Eq SMTArithOp Source #
Methods (==) :: SMTArithOp -> SMTArithOp -> Bool # (/=) :: SMTArithOp -> SMTArithOp -> Bool #
Ord SMTArithOp Source #
Methods compare :: SMTArithOp -> SMTArithOp -> Ordering # (<) :: SMTArithOp -> SMTArithOp -> Bool # (<=) :: SMTArithOp -> SMTArithOp -> Bool # (>) :: SMTArithOp -> SMTArithOp -> Bool # (>=) :: SMTArithOp -> SMTArithOp -> Bool # max :: SMTArithOp -> SMTArithOp -> SMTArithOp # min :: SMTArithOp -> SMTArithOp -> SMTArithOp #
Show SMTArithOp Source #
Methods showsPrec :: Int -> SMTArithOp -> ShowS # show :: SMTArithOp -> String # showList :: [SMTArithOp] -> ShowS #

Constructors

Instances

Eq SMTIntArithOp Source #
Methods (==) :: SMTIntArithOp -> SMTIntArithOp -> Bool # (/=) :: SMTIntArithOp -> SMTIntArithOp -> Bool #
Ord SMTIntArithOp Source #
Methods compare :: SMTIntArithOp -> SMTIntArithOp -> Ordering # (<) :: SMTIntArithOp -> SMTIntArithOp -> Bool # (<=) :: SMTIntArithOp -> SMTIntArithOp -> Bool # (>) :: SMTIntArithOp -> SMTIntArithOp -> Bool # (>=) :: SMTIntArithOp -> SMTIntArithOp -> Bool # max :: SMTIntArithOp -> SMTIntArithOp -> SMTIntArithOp # min :: SMTIntArithOp -> SMTIntArithOp -> SMTIntArithOp #
Show SMTIntArithOp Source #
Methods showsPrec :: Int -> SMTIntArithOp -> ShowS # show :: SMTIntArithOp -> String # showList :: [SMTIntArithOp] -> ShowS #

Constructors

Instances

Eq SMTLogicOp Source #
Methods (==) :: SMTLogicOp -> SMTLogicOp -> Bool # (/=) :: SMTLogicOp -> SMTLogicOp -> Bool #
Ord SMTLogicOp Source #
Methods compare :: SMTLogicOp -> SMTLogicOp -> Ordering # (<) :: SMTLogicOp -> SMTLogicOp -> Bool # (<=) :: SMTLogicOp -> SMTLogicOp -> Bool # (>) :: SMTLogicOp -> SMTLogicOp -> Bool # (>=) :: SMTLogicOp -> SMTLogicOp -> Bool # max :: SMTLogicOp -> SMTLogicOp -> SMTLogicOp # min :: SMTLogicOp -> SMTLogicOp -> SMTLogicOp #
Show SMTLogicOp Source #
Methods showsPrec :: Int -> SMTLogicOp -> ShowS # show :: SMTLogicOp -> String # showList :: [SMTLogicOp] -> ShowS #

Constructors

Instances

Eq SMTBVCompOp Source #
Methods (==) :: SMTBVCompOp -> SMTBVCompOp -> Bool # (/=) :: SMTBVCompOp -> SMTBVCompOp -> Bool #
Ord SMTBVCompOp Source #
Methods compare :: SMTBVCompOp -> SMTBVCompOp -> Ordering # (<) :: SMTBVCompOp -> SMTBVCompOp -> Bool # (<=) :: SMTBVCompOp -> SMTBVCompOp -> Bool # (>) :: SMTBVCompOp -> SMTBVCompOp -> Bool # (>=) :: SMTBVCompOp -> SMTBVCompOp -> Bool # max :: SMTBVCompOp -> SMTBVCompOp -> SMTBVCompOp # min :: SMTBVCompOp -> SMTBVCompOp -> SMTBVCompOp #
Show SMTBVCompOp Source #
Methods showsPrec :: Int -> SMTBVCompOp -> ShowS # show :: SMTBVCompOp -> String # showList :: [SMTBVCompOp] -> ShowS #

Constructors

Instances

Eq SMTBVBinOp Source #
Methods (==) :: SMTBVBinOp -> SMTBVBinOp -> Bool # (/=) :: SMTBVBinOp -> SMTBVBinOp -> Bool #
Ord SMTBVBinOp Source #
Methods compare :: SMTBVBinOp -> SMTBVBinOp -> Ordering # (<) :: SMTBVBinOp -> SMTBVBinOp -> Bool # (<=) :: SMTBVBinOp -> SMTBVBinOp -> Bool # (>) :: SMTBVBinOp -> SMTBVBinOp -> Bool # (>=) :: SMTBVBinOp -> SMTBVBinOp -> Bool # max :: SMTBVBinOp -> SMTBVBinOp -> SMTBVBinOp # min :: SMTBVBinOp -> SMTBVBinOp -> SMTBVBinOp #
Show SMTBVBinOp Source #
Methods showsPrec :: Int -> SMTBVBinOp -> ShowS # show :: SMTBVBinOp -> String # showList :: [SMTBVBinOp] -> ShowS #

Constructors

BVNot
BVNeg

Instances

Eq SMTBVUnOp Source #
Methods (==) :: SMTBVUnOp -> SMTBVUnOp -> Bool # (/=) :: SMTBVUnOp -> SMTBVUnOp -> Bool #
Ord SMTBVUnOp Source #
Methods compare :: SMTBVUnOp -> SMTBVUnOp -> Ordering # (<) :: SMTBVUnOp -> SMTBVUnOp -> Bool # (<=) :: SMTBVUnOp -> SMTBVUnOp -> Bool # (>) :: SMTBVUnOp -> SMTBVUnOp -> Bool # (>=) :: SMTBVUnOp -> SMTBVUnOp -> Bool # max :: SMTBVUnOp -> SMTBVUnOp -> SMTBVUnOp # min :: SMTBVUnOp -> SMTBVUnOp -> SMTBVUnOp #
Show SMTBVUnOp Source #
Methods showsPrec :: Int -> SMTBVUnOp -> ShowS # show :: SMTBVUnOp -> String # showList :: [SMTBVUnOp] -> ShowS #