Language.Hasmtlib

Documentation

module Language.Hasmtlib.Type.MonadSMT

module Language.Hasmtlib.Type.SMT

module Language.Hasmtlib.Type.OMT

module Language.Hasmtlib.Type.Pipe

module Language.Hasmtlib.Type.Expr

module Language.Hasmtlib.Type.Value

module Language.Hasmtlib.Type.Solver

module Language.Hasmtlib.Type.Option

module Language.Hasmtlib.Type.SMTSort

module Language.Hasmtlib.Type.Solution

module Language.Hasmtlib.Type.ArrayMap

module Language.Hasmtlib.Boolean

module Language.Hasmtlib.Codec

module Language.Hasmtlib.Counting

module Language.Hasmtlib.Variable

module Language.Hasmtlib.Solver.Common

module Language.Hasmtlib.Solver.Bitwuzla

module Language.Hasmtlib.Solver.CVC5

module Language.Hasmtlib.Solver.Z3

module Language.Hasmtlib.Solver.Yices

module Language.Hasmtlib.Solver.OpenSMT

module Language.Hasmtlib.Solver.MathSAT

data SharingMode

Mode used for sharing.

Constructors

None

Common expressions are not shared at all

StableNames

Expressions that resolve to the same StableName are shared

Instances

Show SharingMode

Defined in Language.Hasmtlib.Internal.Sharing

Methods

showsPrec :: Int -> SharingMode -> ShowS

show :: SharingMode -> String

showList :: [SharingMode] -> ShowS

Default SharingMode

Defined in Language.Hasmtlib.Internal.Sharing

Methods

def :: SharingMode

setSharingMode :: (Sharing s, MonadState s m) => SharingMode -> m ()

Sets the mode used for sharing common expressions. Defaults to StableNames.