← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/sd/bv/adstransition.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/adstransition.h
 
1
//////////////////////////////////////////////////////////////////////////////////
 
2
// This file is part of Toolkit for Conceptual Modeling (TCM).
 
3
// (c) copyright 2001, Universiteit Twente.
 
4
// Author: Rik Eshuis (eshuis@cs.utwente.nl).
 
5
//
 
6
// TCM is free software; you can redistribute it and/or modify
 
7
// it under the terms of the GNU General Public License as published by
 
8
// the Free Software Foundation; either version 2 of the License, or
 
9
// (at your option) any later version.
 
10
//
 
11
// TCM is distributed in the hope that it will be useful,
 
12
// but WITHOUT ANY WARRANTY; without even the implied warranty of
 
13
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
14
// GNU General Public License for more details.
 
15
//
 
16
// You should have received a copy of the GNU General Public License
 
17
// along with TCM; if not, write to the Free Software
 
18
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 
19
// 02111-1307, USA.
 
20
////////////////////////////////////////////////////////////////////////////////
 
21
#ifndef _ADSTRANSITION_H
 
22
#define _ADSTRANSITION_H
 
23
 
 
24
 
 
25
#include "llist.h"
 
26
#include "edge.h"
 
27
#include "outputfile.h"
 
28
#include "bag.h"
 
29
 
 
30
 
 
31
class ADSValuation;
 
32
class ADSCks;
 
33
class ClockConstraint;
 
34
class AmHyperEdge;
 
35
 
 
36
 
 
37
class ADSTransition: public Edge {
 
38
/*@Doc: {\large {\bf scope:} } */
 
39
        public:
 
40
                /// transition
 
41
                ADSTransition(ADSCks *, 
 
42
                              ADSValuation *,
 
43
                              ADSValuation *);
 
44
                /// transition in which step is taken
 
45
                ADSTransition(ADSCks *, 
 
46
                              ADSValuation *,
 
47
                              ADSValuation *,
 
48
                              Bag <ADSHyperEdge *> *);
 
49
                ///
 
50
                ~ADSTransition() { };
 
51
                ///
 
52
                Subject *Clone(){return new ADSTransition(*this);};
 
53
                ///
 
54
                void Write(OutputFile *f);
 
55
                ///
 
56
                void WriteScreen();
 
57
 
 
58
                ///
 
59
                bool operator==( ADSTransition &comp) ;       
 
60
                ///
 
61
                void GetStep(Bag <ADSHyperEdge *> &st){st=step;}
 
62
                ///
 
63
                int ComputeKey();
 
64
 private:
 
65
                /// (optional) step that is taken in current transition
 
66
                /// (only if subject1 is unstable
 
67
                Bag <ADSHyperEdge *> step;
 
68
                /// key for hashtable
 
69
                int key ;
 
70
};
 
71
 
 
72
//unsigned IsClockReset(const string &s);
 
73
#endif