Changeset 11232

Show
Ignore:
Timestamp:
07.01.2009 15:14:36 (11 months ago)
Author:
csliam
Message:

Copied CASL's sym_name implementation for CspCASL

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/CspCASL/Logic_CspCASL.hs

    r11226 r11232  
    8282    Symbol               -- symbol 
    8383    where 
    84       parse_sentence CspCASL = Nothing 
    8584      map_sen CspCASL mor sen = 
    8685        if isInclusionMorphism isInclusionMorphismExtension mor 
    8786        then return sen 
    8887        else fail "renaming in map_sen CspCASL not implemented" 
     88      parse_sentence CspCASL = Nothing 
    8989      sym_of CspCASL = CspCASL_Morphism.symOf 
    9090      symmap_of CspCASL = morphismToSymbMap 
     91      sym_name CspCASL = symName 
    9192      simplify_sen CspCASL = SimplifySen.simplifySen 
    9293