← Back to branch summary

~ubuntu-branches/ubuntu/utopic/tcm/utopic

« back to all changes in this revision

Viewing changes to src/sd/bv/ktransition.h

  • Committer: Bazaar Package Importer
  • Author(s): Otavio Salvador
  • Date: 2003-07-03 20:08:21 UTC
  • Revision ID: james.westby@ubuntu.com-20030703200821-se4xtqx25e5miczi
Tags: upstream-2.20
Import upstream version 2.20

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/sd/bv/ktransition.h
 
1
#ifndef _KTRANSITION_H
 
2
#define _KTRANSITION_H
 
3
 
 
4
#include "subject.h"
 
5
#include "lvector.h"
 
6
#include "llist.h"
 
7
#include "transition.h"
 
8
 
 
9
class KLocation;
 
10
 
 
11
class KTransition: public Vector<Subject *> {
 
12
        public:
 
13
                KLocation *to;
 
14
                bool InputTransition; /* was: Resett . -- The function has been
 
15
                          extended (from indicating whether ``reset{t}'' should
 
16
                          be included into the transition to
 
17
                          whether the transition is an input transition
 
18
                          inserted by GenerateEvents() ). */
 
19
                KTransition(unsigned c);
 
20
                ~KTransition() { };
 
21
                bool operator==(const KTransition &comp) const {
 
22
                        return InputTransition == comp.InputTransition
 
23
                               && to == comp.to
 
24
                               && Vector<Subject *>::operator==(comp);
 
25
                };
 
26
                bool operator< (const KTransition &comp) const;
 
27
                bool operator> (const KTransition &comp) const {
 
28
                        return comp < *this;
 
29
                };
 
30
                bool operator<=(const KTransition &comp) const {
 
31
                        return ! (comp < *this);
 
32
                };
 
33
                bool operator>=(const KTransition &comp) const {
 
34
                        return ! (*this < comp);
 
35
                };
 
36
                bool operator!=(const KTransition &comp) const {
 
37
                        return ! (comp == *this);
 
38
                };
 
39
                string GetGuards() const;
 
40
                string GetEvents() const;
 
41
                string GetClockResets() const;
 
42
};
 
43
 
 
44
unsigned IsClockReset(const string &s);
 
45
#endif