Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (916 Bytes)

1
#ifndef GML_PREMISE_H
2
#define GML_PREMISE_H
3

    
4
#include <cmath>
5
#include <vector>
6

    
7
#include "premise.h"
8
#include "sizefunctions.h"
9
#include "setofconclusions.h"
10

    
11
class GML_Premise : public Premise<int>{
12
        private:
13
                
14
                /* Deprecated Functions which searched for solutions to the side condition first.
15
                void load_side_condition(glp_prob* sc, double limit);
16
                void solve_side_condition(glp_prob* side_condition, glp_iocp* parameters, int r_or_s, int index, int new_bound, double limit, vector<Conclusion>& set);
17
                //r_or_s = 0 for neither, 1 for r, 2 for 2.
18
                
19
                void all_valuations(glp_iocp* parameters, int* r, int* s, Conclusion& result);
20
                void solve_conclusion_lp(glp_prob* conclusion, glp_iocp* parameters, int min_limit, Conclusion& conc);
21
                */
22
                
23
                // for testing
24
                //int test_counter;
25
        public:
26
                GML_Premise();
27
                GML_Premise(int _n, int _m, int* _a, int *_b);
28

    
29
                //double bound(); // Deprecated.
30
                        
31
};
32

    
33
#endif