Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (254 Bytes)

1 e034e268 Thorsten WiƟmann
#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