Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / gmlmip.ml @ 40a714df

History | View | Annotate | Download (406 Bytes)

1 93d587d0 Thorsten Wißmann
2
3
(* transforms list of gml formulas (diamond?,number,formula)
4
   to list of consequences (positive?,formula),
5
   here positive? means that the formula must be true in order to make the
6
   given conjunct of modalities true *)
7 79c5fa44 Thorsten Wißmann
external gml_rules : (bool*int*int) list -> (int*bool) list list list = "gmlRules_stub"
8 25fb6e92 Thorsten Wißmann
external pml_rules : (bool*int*int*int) list -> (int*bool) list list list = "pmlRules_stub"