Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / gmlmip.mli @ de84f40d

History | View | Annotate | Download (597 Bytes)

1 93d587d0 Thorsten Wißmann
(* transforms list of gml formulas (diamond?,number,formula)
2 eda515b6 Thorsten Wißmann
   to list of consequences (formula,positive?),
3 93d587d0 Thorsten Wißmann
   here positive? means that the formula must be true in order to make the
4
   given conjunct of modalities true *)
5 79c5fa44 Thorsten Wißmann
val gml_rules : (bool*int*int) list -> (int*bool) list list list
6 eda515b6 Thorsten Wißmann
(* transforms list of pml formulas (diamond?,nominator,denominator,formula)
7
   to list of consequences (formula,positive?),
8
   here positive? means that the formula must be true in order to make the
9
   given conjunct of modalities true *)
10
val pml_rules : (bool*int*int*int) list -> (int*bool) list list list