LDDStateExtend.h 573 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
#ifndef LDDSTATEEXTEND_H_INCLUDED
#define LDDSTATEEXTEND_H_INCLUDED

#include <set>
#include <vector>
#include <sylvan.h>
#include "LDDState.h"
using namespace std;

typedef set<int> Set;

class LDDStateExtend: public LDDState
{
    public:
       LDDStateExtend(){m_boucle=m_blocage=m_visited=false;}
       virtual ~LDDStateExtend();
       bool m_exist;

        void setLDDExValue(MDD m);
		MDD  getLDDExValue();

    protected:

    private:

};
typedef pair<LDDStateExtend*, int> LDDExEdge;
typedef vector<LDDEdge> LDDExEdgedges;

#endif // LDDSTATEEXTEND_H_INCLUDED