← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/sd/bv/klocation.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/klocation.h
 
1
#ifndef _KLOCATION_H
 
2
#define _KLOCATION_H
 
3
 
 
4
#include "stnode.h"
 
5
#include "lvector.h"
 
6
#include "lstring.h"
 
7
#include "ptrset.h"
 
8
#include "relevantset.h"
 
9
#include "llist.h"
 
10
#include "ktransition.h"
 
11
 
 
12
class KLocation: public Vector<Subject *> {
 
13
        public:
 
14
                KLocation(unsigned c);
 
15
                ~KLocation();
 
16
                KLocation(const KLocation &copy);
 
17
                KLocation(const List<Subject *> &copy);
 
18
 
 
19
                bool operator==(const KLocation &comp) const;
 
20
                bool operator< (const KLocation &comp) const;
 
21
                bool operator> (const KLocation &comp) const {
 
22
                        return comp < *this;
 
23
                };
 
24
                bool operator<=(const KLocation &comp) const {
 
25
                        return ! (comp < *this);
 
26
                };
 
27
                bool operator>=(const KLocation &comp) const {
 
28
                        return ! operator<(comp);
 
29
                };
 
30
                bool operator!=(const KLocation &comp) const {
 
31
                        return ! operator==(comp);
 
32
                };
 
33
/* A KLocation has a list of outstanding events. */
 
34
                bool HasEvent(const string &event) const {
 
35
                        return inputset.HasEvent(event);
 
36
                };
 
37
                bool HasProp(const string &prop) const;
 
38
                string GetProp() const;
 
39
                string GetInvar() const;
 
40
//      private:
 
41
                RelevantSet inputset;
 
42
                unsigned long number;
 
43
                PtrSet<KTransition> transSet;
 
44
                bool Transient;
 
45
};
 
46
 
 
47
#endif