Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (377 Bytes)

1 e034e268 Thorsten WiƟmann
#ifndef PML_PREMISE_H
2
#define PML_PREMISE_H
3
4
#include <cmath>
5
#include <vector>
6
7
#include "premise.h"
8
#include "sizefunctions.h"
9
10
11
class PML_Premise : public Premise<Rational>{
12
        private:
13
                
14
                /* Deprecated function
15
                double bound();
16
                */
17
                
18
                // for testing
19
                //int test_counter;
20
        public:
21
                PML_Premise();
22
                PML_Premise(int _n, int _m, Rational* _a, Rational* _b);
23
24
};
25
26
#endif