| 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
- world :: SORT
- addPlace :: Id -> Id
- addWorld :: Ord a => (a -> a) -> (Id -> Id) -> MapSet Id a -> MapSet Id a
- worldOpType :: SORT -> OpType -> OpType
- addWorldOp :: SORT -> (Id -> Id) -> OpMap -> OpMap
- worldPredType :: SORT -> PredType -> PredType
- addWorldPred :: SORT -> (Id -> Id) -> PredMap -> PredMap
- relOfMod :: Bool -> Bool -> SORT -> Id
- relName :: Bool -> SORT -> Id
- insertModPred :: SORT -> Bool -> Bool -> Id -> PredMap -> PredMap
- modPredType :: SORT -> Bool -> SORT -> PredType
- renMorphism :: Ord a => (Id -> Id) -> MapSet Id a -> Map (Id, a) Id
- renOpMorphism :: (Id -> Id) -> OpMap -> Op_map
- renPredMorphism :: (Id -> Id) -> PredMap -> Pred_map
Documentation
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 Source #
the changed mapping
relOfMod :: Bool -> Bool -> SORT -> Id Source #
create a predicate name for time, simple and term modalities
insertModPred :: SORT -> Bool -> Bool -> Id -> PredMap -> PredMap Source #
insert a simple or term modality