Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich, Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Comorphisms.KnownProvers

Description

This module provides a map of provers to their most useful composed comorphisms.

Synopsis

Documentation

type KnownProversMap = Map String [AnyComorphism]

type KnownConsCheckersMap = Map String [AnyComorphism]

defaultGUIProver :: String

the default prover selected in the GUI

knownProversGUI :: Result KnownProversMap

a map of known prover names implemanting a GUI interface

knownProversWithKind :: ProverKind -> Result KnownProversMap

a map of known prover names for a specific prover kind to a list of simple (composed) comorphisms

shrinkKnownProvers :: G_sublogics -> KnownProversMap -> KnownProversMap

showKnownProvers :: KnownProversMap -> IO ()

showAllKnownProvers :: IO ()

isaComorphisms :: Result [AnyComorphism]