Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

FreeCAD.Logic_FreeCAD

Description

instance of class Logic for FreeCAD

Documentation

data FreeCAD Source #

Constructors

FreeCAD 

Instances

Show FreeCAD Source # 

Methods

showsPrec :: Int -> FreeCAD -> ShowS

show :: FreeCAD -> String

showList :: [FreeCAD] -> ShowS

Language FreeCAD Source # 

Methods

language_name :: FreeCAD -> String Source #

description :: FreeCAD -> String Source #

Sentences FreeCAD () Sign FCMorphism () Source # 

Methods

map_sen :: FreeCAD -> FCMorphism -> () -> Result () Source #

simplify_sen :: FreeCAD -> Sign -> () -> () Source #

negation :: FreeCAD -> () -> Maybe () Source #

print_sign :: FreeCAD -> Sign -> Doc Source #

print_named :: FreeCAD -> Named () -> Doc Source #

sym_of :: FreeCAD -> Sign -> [Set ()] Source #

mostSymsOf :: FreeCAD -> Sign -> [()] Source #

symmap_of :: FreeCAD -> FCMorphism -> EndoMap () Source #

sym_name :: FreeCAD -> () -> Id Source #

sym_label :: FreeCAD -> () -> Maybe String Source #

fullSymName :: FreeCAD -> () -> String Source #

symKind :: FreeCAD -> () -> String Source #

symsOfSen :: FreeCAD -> Sign -> () -> [()] Source #

pair_symbols :: FreeCAD -> () -> () -> Result () Source #

Syntax FreeCAD Document () () () Source # 
StaticAnalysis FreeCAD Document () () () Sign FCMorphism () () Source # 

Methods

basic_analysis :: FreeCAD -> Maybe ((Document, Sign, GlobalAnnos) -> Result (Document, ExtSign Sign (), [Named ()])) Source #

sen_analysis :: FreeCAD -> Maybe ((Document, Sign, ()) -> Result ()) Source #

extBasicAnalysis :: FreeCAD -> IRI -> LibName -> Document -> Sign -> GlobalAnnos -> Result (Document, ExtSign Sign (), [Named ()]) Source #

stat_symb_map_items :: FreeCAD -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source #

stat_symb_items :: FreeCAD -> Sign -> [()] -> Result [()] Source #

convertTheory :: FreeCAD -> Maybe ((Sign, [Named ()]) -> Document) Source #

ensures_amalgamability :: FreeCAD -> ([CASLAmalgOpt], Gr Sign (Int, FCMorphism), [(Int, FCMorphism)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: FreeCAD -> FCMorphism -> [Named ()] -> Result (Sign, [Named ()]) Source #

signature_colimit :: FreeCAD -> Gr Sign (Int, FCMorphism) -> Result (Sign, Map Int FCMorphism) Source #

qualify :: FreeCAD -> SIMPLE_ID -> LibName -> FCMorphism -> Sign -> Result (FCMorphism, [Named ()]) Source #

symbol_to_raw :: FreeCAD -> () -> () Source #

id_to_raw :: FreeCAD -> Id -> () Source #

matches :: FreeCAD -> () -> () -> Bool Source #

empty_signature :: FreeCAD -> Sign Source #

add_symb_to_sign :: FreeCAD -> Sign -> () -> Result Sign Source #

signature_union :: FreeCAD -> Sign -> Sign -> Result Sign Source #

signatureDiff :: FreeCAD -> Sign -> Sign -> Result Sign Source #

intersection :: FreeCAD -> Sign -> Sign -> Result Sign Source #

final_union :: FreeCAD -> Sign -> Sign -> Result Sign Source #

morphism_union :: FreeCAD -> FCMorphism -> FCMorphism -> Result FCMorphism Source #

is_subsig :: FreeCAD -> Sign -> Sign -> Bool Source #

subsig_inclusion :: FreeCAD -> Sign -> Sign -> Result FCMorphism Source #

generated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source #

cogenerated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source #

induced_from_morphism :: FreeCAD -> EndoMap () -> Sign -> Result FCMorphism Source #

induced_from_to_morphism :: FreeCAD -> EndoMap () -> ExtSign Sign () -> ExtSign Sign () -> Result FCMorphism Source #

is_transportable :: FreeCAD -> FCMorphism -> Bool Source #

is_injective :: FreeCAD -> FCMorphism -> Bool Source #

theory_to_taxonomy :: FreeCAD -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named ()] -> Result MMiSSOntology Source #

corresp2th :: FreeCAD -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap () -> EndoMap () -> REL_REF -> Result (Sign, [Named ()], Sign, Sign, EndoMap (), EndoMap ()) Source #

equiv2cospan :: FreeCAD -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap (), EndoMap ()) Source #

extract_module :: FreeCAD -> [IRI] -> (Sign, [Named ()]) -> Result (Sign, [Named ()]) Source #

Logic FreeCAD () Document () () () Sign (DefaultMorphism Sign) () () () Source # 

Methods

parse_basic_sen :: FreeCAD -> Maybe (Document -> AParser st ()) Source #

stability :: FreeCAD -> Stability Source #

data_logic :: FreeCAD -> Maybe AnyLogic Source #

top_sublogic :: FreeCAD -> () Source #

all_sublogics :: FreeCAD -> [()] Source #

bottomSublogic :: FreeCAD -> Maybe () Source #

sublogicDimensions :: FreeCAD -> [[()]] Source #

parseSublogic :: FreeCAD -> String -> Maybe () Source #

proj_sublogic_epsilon :: FreeCAD -> () -> Sign -> DefaultMorphism Sign Source #

provers :: FreeCAD -> [Prover Sign () (DefaultMorphism Sign) () ()] Source #

default_prover :: FreeCAD -> String Source #

cons_checkers :: FreeCAD -> [ConsChecker Sign () () (DefaultMorphism Sign) ()] Source #

conservativityCheck :: FreeCAD -> [ConservativityChecker Sign () (DefaultMorphism Sign)] Source #

empty_proof_tree :: FreeCAD -> () Source #

syntaxTable :: FreeCAD -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: FreeCAD -> Maybe OMCD Source #

export_symToOmdoc :: FreeCAD -> NameMap () -> () -> String -> Result TCElement Source #

export_senToOmdoc :: FreeCAD -> NameMap () -> () -> Result TCorOMElement Source #

export_theoryToOmdoc :: FreeCAD -> SigMap () -> Sign -> [Named ()] -> Result [TCElement] Source #

omdocToSym :: FreeCAD -> SigMapI () -> TCElement -> String -> Result () Source #

omdocToSen :: FreeCAD -> SigMapI () -> TCElement -> String -> Result (Maybe (Named ())) Source #

addOMadtToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [[OmdADT]] -> Result (Sign, [Named ()]) Source #

addOmdocToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [TCElement] -> Result (Sign, [Named ()]) Source #

newtype Text Source #

Constructors

Text 

Fields

Instances

Eq Text Source # 

Methods

(==) :: Text -> Text -> Bool

(/=) :: Text -> Text -> Bool

Ord Text Source # 

Methods

compare :: Text -> Text -> Ordering

(<) :: Text -> Text -> Bool

(<=) :: Text -> Text -> Bool

(>) :: Text -> Text -> Bool

(>=) :: Text -> Text -> Bool

max :: Text -> Text -> Text

min :: Text -> Text -> Text

Show Text Source # 

Methods

showsPrec :: Int -> Text -> ShowS

show :: Text -> String

showList :: [Text] -> ShowS

ShATermConvertible Text Source # 

Methods

toShATermAux :: ATermTable -> Text -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Text] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Text)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Text])

GetRange Text Source # 
Pretty Text Source # 

Methods

pretty :: Text -> Doc Source #

pretties :: [Text] -> Doc Source #

readFreeCADLib :: FilePath -> LibName -> IO LIB_DEFN Source #