Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / gmlmip.mli @ 7c4d2eb4

History | View | Annotate | Download (289 Bytes)

1
(* transforms list of gml formulas (diamond?,number,formula)
2
   to list of consequences (positive?,formula),
3
   here positive? means that the formula must be true in order to make the
4
   given conjunct of modalities true *)
5
val gml_rules : (bool*int*int) list -> (int*bool) list list list