Hets - the Heterogeneous Tool Set
LicenseGPLv2 or higher, see LICENSE.txt
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CASL2Hybrid

Description

The embedding comorphism from CASL to HybridCASL.

Synopsis

Documentation

data CASL2Hybrid Source #

The identity of the comorphism

Constructors

CASL2Hybrid 

Instances

Instances details
Show CASL2Hybrid Source # 
Instance details

Defined in Comorphisms.CASL2Hybrid

Methods

showsPrec :: Int -> CASL2Hybrid -> ShowS

show :: CASL2Hybrid -> String

showList :: [CASL2Hybrid] -> ShowS

Language CASL2Hybrid Source # 
Instance details

Defined in Comorphisms.CASL2Hybrid

Comorphism CASL2Hybrid CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol () Source # 
Instance details

Defined in Comorphisms.CASL2Hybrid