Hets - the Heterogeneous Tool Set

Copyrightuni-bremen and DFKI
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerr.pascanu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Interfaces.Utils

Description

Interfaces.Utils contains different utilitary functions for the abstract interface

Synopsis

Documentation

getAllNodes :: IntIState -> [LNode DGNodeLab] Source #

Returns the list of all nodes, if it is not up to date the function recomputes the list

getAllEdges :: IntIState -> [LEdge DGLinkLab] Source #

Returns the list of all edges, if it is not up to date the funcrion recomputes the list

initNodeInfo :: ProofState -> Int -> Int_NodeInfo Source #

Constructor for CMDLProofGUIState datatype

wasProved :: ProofStatus proof_Tree -> Bool Source #

parseTimeLimit :: ProofStatus proof_tree -> Int Source #

addCommandHistoryToState :: IORef IntState -> ProofState -> Maybe (G_prover, AnyComorphism) -> [ProofStatus proof_tree] -> String -> (Bool, Int) -> IO () Source #

checkConservativityNode :: Bool -> LNode DGNodeLab -> LibEnv -> LibName -> IO (String, LibEnv, ProofHistory) Source #

checkConservativityEdge :: Bool -> LEdge DGLinkLab -> LibEnv -> LibName -> IO (String, LibEnv, LEdge DGLinkLab, ProofHistory) Source #