## 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 |