Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (620 Bytes)

1
#ifndef __GMLMIP_ONESTEP_H_
2
#define __GMLMIP_ONESTEP_H_
3

    
4
#include <vector>
5
#include <set>
6
#include <utility> // for pair
7
#include "formulas/formula.h"
8

    
9

    
10
/* transforms list of gml formulas (diamond?,number,formula)
11
   to list of consequences (formula,positive?),
12
   here positive? means that the formula must be true in order to make the
13
   given conjunct of modalities true
14
*/
15
typedef std::vector<std::pair<std::pair<bool,int>,int> > GMLPremise;
16
typedef std::set<std::set<std::set<int> > > GMLConclusion;
17

    
18
GMLConclusion gmlmip_onestep_gml(GMLPremise modvec);
19

    
20
void printRuleCollection(const RuleCollection& rc);
21

    
22
#endif