| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Smt.Theories
- elt :: Raw
- sz64 :: Raw
- sz32 :: Raw
- bit :: Raw
- map :: Raw
- set :: Raw
- emp :: Raw
- sto :: Raw
- sel :: Raw
- com :: Raw
- sub :: Raw
- dif :: Raw
- mem :: Raw
- cap :: Raw
- cup :: Raw
- add :: Raw
- setEmp :: Symbol
- setSng :: Symbol
- setDif :: Symbol
- setCup :: Symbol
- setCom :: Symbol
- setMem :: Symbol
- setAdd :: Symbol
- setSub :: Symbol
- setCap :: Symbol
- z3Preamble :: [Text]
- smtlibPreamble :: [Text]
- mkSetSort :: t -> t1 -> Raw
- mkEmptySet :: t -> t1 -> Raw
- mkSetAdd :: (Buildable t2, Buildable t1) => t -> t1 -> t2 -> Text
- mkSetMem :: (Buildable t2, Buildable t1) => t -> t1 -> t2 -> Text
- mkSetCup :: (Buildable t2, Buildable t1) => t -> t1 -> t2 -> Text
- mkSetCap :: (Buildable t2, Buildable t1) => t -> t1 -> t2 -> Text
- mkSetDif :: (Buildable t2, Buildable t1) => t -> t1 -> t2 -> Text
- mkSetSub :: (Buildable t2, Buildable t1) => t -> t1 -> t2 -> Text
- theorySymbols :: HashMap Symbol TheorySymbol
- tSym :: Symbol -> Raw -> Sort -> (Symbol, TheorySymbol)
- smt2Theory :: Symbol -> Maybe Text
Documentation
z3Preamble :: [Text] Source
smtlibPreamble :: [Text] Source
mkEmptySet :: t -> t1 -> Raw Source
smt2Theory :: Symbol -> Maybe Text Source