Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / GMLMIP-0.1 / formulas / PML_formula.h @ 7c4d2eb4

History | View | Annotate | Download (254 Bytes)

1
#ifndef PML_FORMULA_HH
2
#define PML_FORMULA_HH
3

    
4
#include "formula.h"
5

    
6
class PML_Formula : public Formula<Rational> {
7
        private:
8
                void load_linear_program(glp_prob* problem, Premise<Rational>& prem);
9

    
10
        public:
11
                bdd modal(bdd *b, int n, int m);
12

    
13
};
14
#endif