Hets - the Heterogeneous Tool Set

Safe HaskellNone

Hybrid.Logic_Hybrid

Description

Instance of class Logic for hybrid logic.

Documentation

data Hybrid

Constructors

Hybrid 

Instances

type HSign = Sign H_FORMULA HybridSign

type HybridMor = Morphism H_FORMULA HybridSign (DefMorExt HybridSign)

type HybridFORMULA = FORMULA H_FORMULA

map_H_FORMULA :: MapSen H_FORMULA HybridSign (DefMorExt HybridSign)

simHybrid :: Sign H_FORMULA HybridSign -> H_FORMULA -> H_FORMULA

rmTypesExt :: a -> b -> b