Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (366 Bytes)

1
#include "PML_premise.h"
2
PML_Premise::PML_Premise() : Premise<Rational>(){
3
}
4

    
5
PML_Premise::PML_Premise(int _n, int _m, Rational* _a, Rational* _b) : Premise<Rational>(_n,_m,_a,_b){
6
//test_counter = 0;
7
}
8

    
9
        
10
/* Deprecated function 
11
double PML_Premise::bound(){
12
        return pow(2,6 * (sizeoflp(n, m, a, b) + 1) * (n+m+1) * (n+m+1) * (n+m+1));
13
        // +1 for the free k.
14
}
15
*/
16

    
17