LDDGraph.h 999 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
28
29
30
31
32
33
34
35
36
37
38
39
40
#ifndef LDDGRAPH_H
#define LDDGRAPH_H
#include "LDDState.h"
//#include "LDDStateExtend.h"
using namespace std;
#include <iostream>

typedef set<int> Set;
typedef vector<LDDState*> MetaLDDNodes;

class LDDGraph
{
    private:
        MDD * m_tab;
		void printGraph(LDDState *, size_t &);
		MetaLDDNodes m_GONodes;
	public:
		void Reset();
		LDDState *m_initialstate;
		LDDState *m_currentstate;
		double m_nbStates;
		double m_nbMarking;
		double m_nbArcs;
		LDDState* find(LDDState*);
		LDDState* findSHA(char*);
		void insertSHA(LDDState *c);
		LDDEdges& get_successor(LDDState*);
		void printsuccessors(LDDState *);
		int NbBddNode(LDDState*,size_t&);
		void InitVisit(LDDState * S,size_t nb);
		void printpredecessors(LDDState *);
		void addArc(){m_nbArcs++;}
		void insert(LDDState*);
		LDDGraph() {m_nbStates=m_nbArcs=m_nbMarking=0;}
		void setInitialState(LDDState*);  //Define the initial state of this graph
		void printCompleteInformation();
		virtual ~LDDGraph();
};

#endif // LDDGRAPH_H