Logic_ConstraintCASL.hs revision e58ed9360500f97f6370bebf69f0c2bfee34782c
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesModule : $Header$
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingDescription : instance of the class Logic for ConstraintCASL
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingCopyright : (c) Uni Bremen 2002-2007
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingMaintainer : till@informatik.uni-bremen.de
db479b48bd4d75423ed4a45e15b75089d1a8ad72fieldingStability : provisional
240b85022b73af58a6d971cd3d05d54037d8f682ndPortability : portable
240b85022b73af58a6d971cd3d05d54037d8f682ndHere is the place where the class Logic is instantiated for CASL.
240b85022b73af58a6d971cd3d05d54037d8f682nd Also the instances for Syntax an Category.
240b85022b73af58a6d971cd3d05d54037d8f682nd , CASLSign
240b85022b73af58a6d971cd3d05d54037d8f682nd , ConstraintCASLMor)
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesdata ConstraintCASL = ConstraintCASL deriving Show
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesinstance Language ConstraintCASL where
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames description _ =
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames "ConstraintCASL - a restriction of CASL to constraint\
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames \formulas over predicates"
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesinstance Syntax ConstraintCASL ConstraintCASLBasicSpec
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames SYMB_ITEMS SYMB_MAP_ITEMS
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames parse_basic_spec ConstraintCASL = Just $ basicSpec constraintKeywords
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames parse_symb_items ConstraintCASL = Just $ symbItems []
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames parse_symb_map_items ConstraintCASL = Just $ symbMapItems []
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames-- lattices (for sublogics) is missing
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesinstance Sentences ConstraintCASL ConstraintCASLFORMULA
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames ConstraintCASLSign ConstraintCASLMor Symbol where
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames map_sen ConstraintCASL m = return . mapSen (\ _ -> id) m
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames parse_sentence ConstraintCASL = Just (fmap item (aFormula [] << eof))
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames sym_of ConstraintCASL = symOf
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames symmap_of ConstraintCASL = morphismToSymbMap
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames sym_name ConstraintCASL = symName
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames simplify_sen ConstraintCASL =
cd2e0fb5f8e86eecb278e9d623f4c272d96f5e3ctrawick error "simplify_sen ConstraintCASL nyi"
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesinstance StaticAnalysis ConstraintCASL
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames ConstraintCASLBasicSpec ConstraintCASLFORMULA
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames SYMB_ITEMS SYMB_MAP_ITEMS
86826d685f83170ca07d56550db9f0c2922a916btrawick ConstraintCASLSign
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames ConstraintCASLMor
cd2e0fb5f8e86eecb278e9d623f4c272d96f5e3ctrawick Symbol RawSymbol where
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames basic_analysis ConstraintCASL = Just basicConstraintCASLAnalysis
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames stat_symb_map_items ConstraintCASL = statSymbMapItems
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames stat_symb_items ConstraintCASL = statSymbItems
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames ensures_amalgamability ConstraintCASL _ =
cd2e0fb5f8e86eecb278e9d623f4c272d96f5e3ctrawick error "ConstraintCASL.ensures_amalgamability not yet implemented"
cd2e0fb5f8e86eecb278e9d623f4c272d96f5e3ctrawick sign_to_basic_spec ConstraintCASL _sigma _sens = Basic_spec [] -- ???
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames symbol_to_raw ConstraintCASL = symbolToRaw
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames id_to_raw ConstraintCASL = idToRaw
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames matches ConstraintCASL = CASL.Morphism.matches
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames is_transportable ConstraintCASL = isSortInjective
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames empty_signature ConstraintCASL = emptySign ()
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames signature_union ConstraintCASL s = return . addSig const s
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames morphism_union ConstraintCASL = morphismUnion (const id) const
43162230430f8144afe9c32cd0e60b927f4e0a60gregames final_union ConstraintCASL = finalUnion const
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames inclusion ConstraintCASL = sigInclusion () trueC const
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames cogenerated_sign ConstraintCASL = cogeneratedSign () trueC
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames generated_sign ConstraintCASL = generatedSign () trueC
88dd056b9863502bba82c2889a0c4cde9fc0ba93trawick induced_from_morphism ConstraintCASL = inducedFromMorphism () trueC
1c86147fa9b58111f7df3b0e24a5bf97833d5d84trawick induced_from_to_morphism ConstraintCASL =
89211a5d592cdf0170d2b541946661b1a2a279c5trawick inducedFromToMorphism () trueC const
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames theory_to_taxonomy ConstraintCASL =
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames error "theory_to_taxonomy ConstraintCASL nyi" -- convTaxo
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesinstance MinSL () ConstraintFORMULA where
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames minSL _ = bottom
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregamesinstance ProjForm () ConstraintFORMULA where
43162230430f8144afe9c32cd0e60b927f4e0a60gregames projForm _ = Just . ExtFORMULA
d468ce085370fb85e0cb4e3b48bd1a47c2eca33ctrawickinstance Logic ConstraintCASL CASL_Sublogics
d468ce085370fb85e0cb4e3b48bd1a47c2eca33ctrawick ConstraintCASLBasicSpec ConstraintCASLFORMULA
d468ce085370fb85e0cb4e3b48bd1a47c2eca33ctrawick SYMB_ITEMS SYMB_MAP_ITEMS
d468ce085370fb85e0cb4e3b48bd1a47c2eca33ctrawick ConstraintCASLSign
8b30d716ef6380801f225010838faa3c00141a06trawick ConstraintCASLMor
8b30d716ef6380801f225010838faa3c00141a06trawick Symbol RawSymbol () where
d468ce085370fb85e0cb4e3b48bd1a47c2eca33ctrawick stability _ = Experimental
3d0434b7f8ce3bfce252ebbe3cabe626ba750d83gregames proj_sublogic_epsilon ConstraintCASL = pr_epsilon ()
8b30d716ef6380801f225010838faa3c00141a06trawick all_sublogics _ = sublogics_all [()]
d468ce085370fb85e0cb4e3b48bd1a47c2eca33ctrawick empty_proof_tree _ = ()