Copyright	(c) Christian Maeder, DFKI 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

CASL.World

Description

add a parameter like the world sort for Modal CASL

Synopsis

Documentation

world :: SORT

addPlace :: Id -> Id

mixfix identifiers need to be extended by a further place holder. That is, identifiers are renamed, although a wrong number of place holders would allow to use the prefix notation. To avoid a name clashes with existing names the first place holder is preceded by a further place holder and a generated token.

addWorld :: Ord a => (a -> a) -> (Id -> Id) -> MapSet Id a -> MapSet Id a

the changed mapping

worldOpType :: SORT -> OpType -> OpType

addWorldOp :: SORT -> (Id -> Id) -> OpMap -> OpMap

the changed op map

worldPredType :: SORT -> PredType -> PredType

addWorldPred :: SORT -> (Id -> Id) -> PredMap -> PredMap

the changed pred map

relOfMod :: Bool -> Bool -> SORT -> Id

create a predicate name for time, simple and term modalities

relName :: Bool -> SORT -> Id

create a predicate name for simple and term modalities

insertModPred :: SORT -> Bool -> Bool -> Id -> PredMap -> PredMap

insert a simple or term modality

modPredType :: SORT -> Bool -> SORT -> PredType

renMorphism :: Ord a => (Id -> Id) -> MapSet Id a -> Map (Id, a) Id

the renaming as part of a morphism

renOpMorphism :: (Id -> Id) -> OpMap -> Op_map

renPredMorphism :: (Id -> Id) -> PredMap -> Pred_map