| Copyright | (c) Klaus Luettich, C. Maeder, Uni Bremen 2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
Common.ProofUtils
Description
Functions useful for all prover connections in Hets
Some were moved from Isabelle.Translate and some others from Isabelle.IsaProve.
- prepareSenNames :: (String -> String) -> [Named a] -> [Named a]
- disambiguateSens :: Set String -> [Named a] -> [Named a]
- genericDisambigSens :: Int -> (a -> String) -> (String -> a -> a) -> Set String -> [a] -> [a]
- nameAndDisambiguate :: [Named a] -> [Named a]
- nameSens :: [Named a] -> [Named a]
- collectNameMapping :: [Named a] -> [Named a] -> Map String String
- lookupCharMap :: Char -> String
- charMap :: Map Char String
Documentation
prepareSenNames :: (String -> String) -> [Named a] -> [Named a]
translate special characters in sentence names
disambiguateSens :: Set String -> [Named a] -> [Named a]
disambiguate sentence names
genericDisambigSens :: Int -> (a -> String) -> (String -> a -> a) -> Set String -> [a] -> [a]
generically disambiguate lists with names
nameAndDisambiguate :: [Named a] -> [Named a]
collectNameMapping :: [Named a] -> [Named a] -> Map String String
collect the mapping of new to old names
lookupCharMap :: Char -> String