## cool / src / lib / gmlmip.mli @ de84f40d

History | View | Annotate | Download (597 Bytes)

1 |
(* transforms list of gml formulas (diamond?,number,formula) |
---|---|

2 |
to list of consequences (formula,positive?), |

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 |

6 |
(* 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 |