Hets - the Heterogeneous Tool Set
Copyright(c) Tom Kranz 2022
LicenseGPLv2 or higher, see LICENSE.txt
Maintainer
Stabilityexperimental
Portabilitynon-portable (imports TIP.AbsTIP)
Safe HaskellNone

TIP.Prover.Common

Description

These functions should be of use for any prover interfacing via the TIP format.

Documentation

data TIPQuirks Source #

Constructors

TIPQuirk 

Fields

noTIPQuirks :: TIPQuirks Source #

mkTheoryFileName :: String -> Decl -> String Source #

makeGoal :: Decl -> Decl Source #

generateProblem :: TIPQuirks -> Start -> Maybe Decl -> (Start, IntMap Int) Source #

prepareProverInput :: Start -> GenericConfig ProofTree -> Bool -> String -> Decl -> TIPQuirks -> String -> IO (String, IntMap Int) Source #