Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (248 Bytes)

1
#ifndef GML_FORMULA_HH
2
#define GML_FORMULA_HH
3

    
4
#include "formula.h"
5

    
6
class GML_Formula : public Formula<int> {
7
        private:
8
                void load_linear_program(glp_prob* problem, Premise<int>& prem);
9
                
10
        public:
11
                bdd modal(bdd *b, int n, int m);
12
                
13
};
14
#endif