Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (620 Bytes)

1 d4135ed7 Thorsten Wißmann
#ifndef __GMLMIP_ONESTEP_H_
2
#define __GMLMIP_ONESTEP_H_
3
4
#include <vector>
5 7c405625 Thorsten Wißmann
#include <set>
6 d4135ed7 Thorsten Wißmann
#include <utility> // for pair
7 aaf9d965 Thorsten Wißmann
#include "formulas/formula.h"
8 d4135ed7 Thorsten Wißmann
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 7c405625 Thorsten Wißmann
typedef std::set<std::set<std::set<int> > > GMLConclusion;
17
18 d4135ed7 Thorsten Wißmann
GMLConclusion gmlmip_onestep_gml(GMLPremise modvec);
19
20 aaf9d965 Thorsten Wißmann
void printRuleCollection(const RuleCollection& rc);
21
22 d4135ed7 Thorsten Wißmann
#endif