Changeset 12748

Show
Ignore:
Timestamp:
29.10.2009 14:53:56 (3 weeks ago)
Author:
kristina
Message:

Added the implementation of final_union for DFOL

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/DFOL/Logic_DFOL.hs

    r12746 r12748  
    8686   generated_sign DFOL = coGenSig False 
    8787   cogenerated_sign DFOL = coGenSig True 
     88   final_union DFOL = sigUnion        -- in DFOL every signature union is final 
    8889 
    8990-- instance of logic for DFOL