| Copyright | (c) Klaus Luettich Uni Bremen 2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable(Logic) |
| Safe Haskell | None |
Comorphisms.KnownProvers
Description
This module provides a map of provers to their most useful composed comorphisms.
Synopsis
- type KnownProversMap = Map String [AnyComorphism]
- type KnownConsCheckersMap = Map String [AnyComorphism]
- defaultGUIProver :: String
- knownProversGUI :: Result KnownProversMap
- knownProversWithKind :: ProverKind -> Result KnownProversMap
- shrinkKnownProvers :: G_sublogics -> KnownProversMap -> KnownProversMap
- showKnownProvers :: KnownProversMap -> IO ()
- showAllKnownProvers :: IO ()
- isaComorphisms :: Result [AnyComorphism]
Documentation
type KnownProversMap = Map String [AnyComorphism] Source #
type KnownConsCheckersMap = Map String [AnyComorphism] Source #
defaultGUIProver :: String Source #
the default prover selected in the GUI
knownProversGUI :: Result KnownProversMap Source #
a map of known prover names implemanting a GUI interface
knownProversWithKind :: ProverKind -> Result KnownProversMap Source #
a map of known prover names for a specific prover kind to a list of simple (composed) comorphisms
showKnownProvers :: KnownProversMap -> IO () Source #
showAllKnownProvers :: IO () Source #