LDDState.h 798 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
#ifndef LDDSTATE_H
#define LDDSTATE_H
#include <set>
#include <vector>
#include <sylvan.h>
using namespace std;

typedef set<int> Set;
class LDDState
{
    public:
        LDDState(){m_boucle=m_blocage=m_visited=false;m_virtual=false;}
        virtual ~LDDState();
        Set firable;
        void * Class_Appartenance;
        vector<pair<LDDState*,int> > Predecessors, Successors;
		pair<LDDState*,int>  LastEdge;
		void setLDDValue(MDD m);
		MDD  getLDDValue();
        MDD   m_lddstate;
        char m_SHA2[80];
        char* getSHAValue();
		bool m_boucle;
		bool m_blocage;
		bool m_visited;
		bool isVirtual();
		void setVirtual();

    protected:

    private:
        bool m_virtual=false;

};

typedef pair<LDDState*, int> LDDEdge;
typedef vector<LDDEdge> LDDEdges;
#endif // LDDSTATE_H