Hets - the Heterogeneous Tool Set

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

CMDL.InfoCommands

Description

CMDL.InfoCommands contains all commands that provides information about the state of the development graph and selected theories

Documentation

cNodes :: CmdlState -> IO CmdlState

cShowDgGoals :: CmdlState -> IO CmdlState

cShowNodeProvenGoals :: String -> CmdlState -> IO CmdlState

cShowNodeUnprovenGoals :: String -> CmdlState -> IO CmdlState

cRedoHistory :: CmdlState -> IO CmdlState

cCurrentComorphism :: CmdlState -> IO CmdlState

cShowTaxonomy :: String -> CmdlState -> IO CmdlState

cShowTheory :: CmdlUseTranslation -> String -> CmdlState -> IO CmdlState

cShowTheoryGoals :: String -> CmdlState -> IO CmdlState

cUndoHistory :: CmdlState -> IO CmdlState

cEdges :: CmdlState -> IO CmdlState

cShowNodeAxioms :: String -> CmdlState -> IO CmdlState

cInfo :: String -> CmdlState -> IO CmdlState

cComorphismsTo :: String -> CmdlState -> IO CmdlState

cInfoCurrent :: CmdlState -> IO CmdlState

cShowConcept :: String -> CmdlState -> IO CmdlState

cNodeNumber :: String -> CmdlState -> IO CmdlState

cHelp :: [CmdlCmdDescription] -> CmdlState -> IO CmdlState