CSPM.Interpreter.CoreInstances

This module defines some class instances that make the interpreter an implementation of the interface defined in package CSPM-CoreLanguage.

Orphan instances

BF INT

Methods

fieldEq :: INT -> Field INT -> Field INT -> Bool

member :: INT -> Field INT -> FieldSet INT -> Bool

intersection :: INT -> FieldSet INT -> FieldSet INT -> FieldSet INT

difference :: INT -> FieldSet INT -> FieldSet INT -> FieldSet INT

union :: INT -> FieldSet INT -> FieldSet INT -> FieldSet INT

null :: INT -> FieldSet INT -> Bool

singleton :: INT -> Field INT -> FieldSet INT

insert :: INT -> Field INT -> FieldSet INT -> FieldSet INT

delete :: INT -> Field INT -> FieldSet INT -> FieldSet INT

fieldSetToList :: INT -> FieldSet INT -> [Field INT]

fieldSetFromList :: INT -> [Field INT] -> FieldSet INT

joinFields :: INT -> [Field INT] -> Event INT

splitFields :: INT -> Event INT -> [Field INT]

channelLen :: INT -> Field INT -> Int

closureStateInit :: INT -> EventSet INT -> ClosureState INT

closureStateNext :: INT -> ClosureState INT -> Field INT -> ClosureState INT

closureRestore :: INT -> ClosureState INT -> EventSet INT

viewClosureState :: INT -> ClosureState INT -> ClosureView

viewClosureFields :: INT -> ClosureState INT -> FieldSet INT

seenPrefixInClosure :: INT -> ClosureState INT -> Bool

prefixStateInit :: INT -> Prefix INT -> PrefixState INT

prefixStateNext :: INT -> PrefixState INT -> Field INT -> Maybe (PrefixState INT)

prefixStateFinalize :: INT -> PrefixState INT -> Maybe (Prefix INT)

viewPrefixState :: INT -> PrefixState INT -> PrefixFieldView INT

BL INT

Methods

prefixNext :: Prefix INT -> Event INT -> Maybe (Process INT)

switchOn :: ExtProcess INT -> Process INT

BE INT

Methods

eventEq :: INT -> Event INT -> Event INT -> Bool

member :: INT -> Event INT -> EventSet INT -> Bool

intersection :: INT -> EventSet INT -> EventSet INT -> EventSet INT

difference :: INT -> EventSet INT -> EventSet INT -> EventSet INT

union :: INT -> EventSet INT -> EventSet INT -> EventSet INT

null :: INT -> EventSet INT -> Bool

singleton :: INT -> Event INT -> EventSet INT

insert :: INT -> Event INT -> EventSet INT -> EventSet INT

delete :: INT -> Event INT -> EventSet INT -> EventSet INT

eventSetToList :: INT -> EventSet INT -> [Event INT]

allEvents :: INT -> EventSet INT

isInRenaming :: INT -> RenamingRelation INT -> Event INT -> Event INT -> Bool

imageRenaming :: INT -> RenamingRelation INT -> Event INT -> [Event INT]

preImageRenaming :: INT -> RenamingRelation INT -> Event INT -> [Event INT]

isInRenamingDomain :: INT -> Event INT -> RenamingRelation INT -> Bool

isInRenamingRange :: INT -> Event INT -> RenamingRelation INT -> Bool

getRenamingDomain :: INT -> RenamingRelation INT -> [Event INT]

getRenamingRange :: INT -> RenamingRelation INT -> [Event INT]

renamingFromList :: INT -> [(Event INT, Event INT)] -> RenamingRelation INT

renamingToList :: INT -> RenamingRelation INT -> [(Event INT, Event INT)]

singleEventToClosureSet :: INT -> Event INT -> EventSet INT

ShowEvent Event

Methods

showEvent :: Event -> String

Show (TTE INT)

Methods

showsPrec :: Int -> TTE INT -> ShowS

show :: TTE INT -> String

showList :: [TTE INT] -> ShowS

ShowTTE (TTE INT)

Methods

showTTE :: TTE INT -> String