LDDState.cpp 335 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
#include "LDDState.h"


LDDState::~LDDState()
{
    //dtor
}
void LDDState::setLDDValue(MDD m) {
    m_lddstate=m;
}
MDD  LDDState::getLDDValue() {
    return m_lddstate;
}

char* LDDState::getSHAValue() {
    return m_SHA2;
}


bool LDDState::isVirtual() {
    return m_virtual;
}

void LDDState::setVirtual() {
    m_virtual=true;
}