Safe Haskell	Safe
Language	Haskell2010

TypedGraph.DPO.OccurenceRelation

Synopsis

Documentation

data RelationItem Source #

Constructors

Node NodeId
Edge EdgeId
Rule String

Instances

Eq RelationItem Source #
Methods (==) :: RelationItem -> RelationItem -> Bool # (/=) :: RelationItem -> RelationItem -> Bool #
Ord RelationItem Source #
Methods compare :: RelationItem -> RelationItem -> Ordering # (<) :: RelationItem -> RelationItem -> Bool # (<=) :: RelationItem -> RelationItem -> Bool # (>) :: RelationItem -> RelationItem -> Bool # (>=) :: RelationItem -> RelationItem -> Bool # max :: RelationItem -> RelationItem -> RelationItem # min :: RelationItem -> RelationItem -> RelationItem #
Show RelationItem Source #
Methods showsPrec :: Int -> RelationItem -> ShowS # show :: RelationItem -> String # showList :: [RelationItem] -> ShowS #

type Relation = Set (RelationItem, RelationItem) Source #

type AbstractRelation = Set (AbstractType, (RelationItem, RelationItem), (RelationItem, RelationItem)) Source #

data AbstractType Source #

Constructors

AbstractProduceForbid
AbstractDeleteForbid

Instances

Eq AbstractType Source #
Methods (==) :: AbstractType -> AbstractType -> Bool # (/=) :: AbstractType -> AbstractType -> Bool #
Ord AbstractType Source #
Methods compare :: AbstractType -> AbstractType -> Ordering # (<) :: AbstractType -> AbstractType -> Bool # (<=) :: AbstractType -> AbstractType -> Bool # (>) :: AbstractType -> AbstractType -> Bool # (>=) :: AbstractType -> AbstractType -> Bool # max :: AbstractType -> AbstractType -> AbstractType # min :: AbstractType -> AbstractType -> AbstractType #
Show AbstractType Source #
Methods showsPrec :: Int -> AbstractType -> ShowS # show :: AbstractType -> String # showList :: [AbstractType] -> ShowS #

isRuleAndElement :: (RelationItem, RelationItem) -> Bool Source #

filterRulesOccurrenceRelation :: Relation -> Relation Source #

filterElementsOccurrenceRelation :: Relation -> Relation Source #

filterCreationRelation :: Relation -> Relation Source #

filterDeletionRelation :: Relation -> Relation Source #

isCreation :: (RelationItem, RelationItem) -> Bool Source #

isDeletion :: (RelationItem, RelationItem) -> Bool Source #

isNode :: RelationItem -> Bool Source #

happensAfterAction :: Relation -> RelationItem -> String -> Bool Source #

Tests wether an item appears after a rule in a given occurrence relation

happensBeforeAction :: Relation -> RelationItem -> String -> Bool Source #

Tests wether an item appears before a rule in a given occurrence relation

neverDeleted :: RelationItem -> Relation -> Bool Source #

Given a relation item i and the deletion relation of an doubly typed grammar, it returns True if the item is deleted by some rule in this relation and False otherwise

present :: RelationItem -> Relation -> Bool Source #

findOrder :: Relation -> Set RelationItem -> Maybe [RelationItem] Source #

buildTransitivity :: Relation -> Relation Source #

relationToString :: Relation -> String Source #

restrictionToString :: AbstractRelation -> String Source #