Class_of_state.h 595 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
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
#ifndef CLASS_OF_STATE
#define CLASS_OF_STATE
using namespace std;
#include "bdd.h"
//#include <map.h>
#include<unordered_map>
#include <set>
#include <vector>
//#include <pair>
//#include <ext/hash_map>
typedef set<int> Set;
class Class_Of_State
{
	public:
		Class_Of_State(){boucle=blocage=Visited=0;}
		Set firable;
		bdd class_state;
		bool boucle;
		bool blocage;
		bool Visited;
		void * Class_Appartenance;
		vector<pair<Class_Of_State*,int> > Predecessors, Successors;
		pair<Class_Of_State*,int>  LastEdge;
};
typedef pair<Class_Of_State*, int> Edge;
typedef vector<Edge> Edges;
#endif