Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / GMLMIP-0.1 / rules / setofconclusions.h @ 7c4d2eb4

History | View | Annotate | Download (653 Bytes)

1
#ifndef SETOFCONCLUSIONS_H
2
#define SETOFCONCLUSIONS_H
3

    
4

    
5
#include <vector>
6

    
7
#include <stdio.h>
8
#include <cmath>
9

    
10
#include "glpk.h"
11
#include "bdd.h"
12

    
13
#include "../formulas/rational.h"
14
#include "valuation.h"
15

    
16

    
17
using namespace std;
18

    
19
typedef vector<TruthAssignment> Conclusion;
20

    
21
class SetOfConclusions{
22
        private:
23
                int no_of_literals;
24
                vector<Conclusion> rules;
25

    
26
        public:
27
                SetOfConclusions(){no_of_literals = 0;};
28
                SetOfConclusions(int n, const vector<vector<bool> >& set);
29
                
30
                int number_of_conclusions(){return rules.size();};                
31
                bdd get_jth_conclusion(bdd** underlying, int j);
32
                
33
                
34
                
35
                
36
                //bdd get_ith_conclusion(int i, bdd* bddarray);
37
};
38
#endif