-
Notifications
You must be signed in to change notification settings - Fork 0
/
atomicstate.h
55 lines (42 loc) · 903 Bytes
/
atomicstate.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
/*******************************************************************
*
* DESCRIPTION: class AtomicState
*
* AUTHOR: Alejandro Troccoli
*
* EMAIL: mailto://atroccol@dc.uba.ar
*
* DATE: 06/11/2000
*
*******************************************************************/
#ifndef _ATOMICSTATE_H
#define _ATOMICSTATE_H
#include "modelstate.h"
using namespace std;
class AtomicState : public ModelState {
public:
enum State
{
active,
passive
} ;
State st;
AtomicState(){};
virtual ~AtomicState(){};
AtomicState& operator=(AtomicState& thisState); //Assignment
void copyState(BasicState *);
int getSize() const;
};
inline
ostream& operator<<( std::ostream& o, const AtomicState::State& st) {
o << (int) st;
return o;
}
inline
istream& operator>>( std::istream& is, AtomicState::State& st) {
int s;
is >> s;
st = AtomicState::State(s);
return is;
}
#endif // _ATOMICSTATE_H