-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathwolimplengine.h
69 lines (38 loc) · 1.01 KB
/
wolimplengine.h
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
/*
* wolimplengine.h
*
* Created on: Sep 22, 2014
* Author: user
*/
#ifndef WOLIMPLENGINE_H_
#define WOLIMPLENGINE_H_
#include <utility>
#include "common.h"
namespace wolver {
class WolWorkList;
class WolImplEngine {
public:
WolImplEngine() {}
virtual ~WolImplEngine() {}
public: //methods
virtual std::pair<bool,nodeL> performImplication(WolNodeSptr node) = 0;
virtual std::pair<bool,nodeL> performImplication(nodeL &inputs, nodeL &outputs) = 0;
void revertChanges(nodeL &changes);
private: //methods
private: // data
// common statistics
};
class WolWLImplEngine : public WolImplEngine{
public:
WolWLImplEngine() {}
~WolWLImplEngine() {}
public: //methods
std::pair<bool, nodeL> performImplication(WolNodeSptr node);
std::pair<bool, nodeL> performImplication(nodeL &inputs, nodeL &outputs);
private: //methods
std::pair<bool, nodeL> performImplicationInt(WolWorkList &wl);
private: // data
// worklist engine specific data
};
}
#endif /* WOLIMPLENGINE_H_ */