| Copyright | (c) Fontaine 2010 |
|---|---|
| License | BSD |
| Maintainer | fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
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