| Portability | GHC-only |
|---|---|
| Stability | experimental |
| Maintainer | fontaine@cs.uni-duesseldorf.de |
CSPM.FiringRules.HelperClasses
Description
Some helper classes. (Might be deleted or moved somewhere else some time.)
- class (Eq (Process i), Eq (RuleTick i), Eq (RuleTau i), Eq (RuleEvent i), Eq (EventSet i), Eq (ExtProcess i), Eq (Prefix i), Eq (Event i), Eq (RenamingRelation i), Ord (Process i), Ord (RuleTick i), Ord (RuleTau i), Ord (RuleEvent i), Ord (EventSet i), Ord (ExtProcess i), Ord (Prefix i), Ord (Event i), Ord (RenamingRelation i)) => EqOrd i
- class (Show (TTE i), Show (Rule i), Show (Process i), Show (RuleTick i), Show (RuleTau i), Show (RuleEvent i)) => FShow i
- class (EqOrd i, BL i) => CSP1 i
- class (EqOrd i, BF i, CSP1 i) => CSP2 i
Documentation
class (Eq (Process i), Eq (RuleTick i), Eq (RuleTau i), Eq (RuleEvent i), Eq (EventSet i), Eq (ExtProcess i), Eq (Prefix i), Eq (Event i), Eq (RenamingRelation i), Ord (Process i), Ord (RuleTick i), Ord (RuleTau i), Ord (RuleEvent i), Ord (EventSet i), Ord (ExtProcess i), Ord (Prefix i), Ord (Event i), Ord (RenamingRelation i)) => EqOrd i Source
class (Show (TTE i), Show (Rule i), Show (Process i), Show (RuleTick i), Show (RuleTau i), Show (RuleEvent i)) => FShow i Source
Implementation i supports Show.