Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoAlgLogicUtils.mli @ 40a714df

History | View | Annotate | Download (285 Bytes)

1 7369dd14 Thorsten Wißmann
2
3
(*
4
    CoAlg Logic Utils
5
*)
6
7
open CoAlgMisc
8 e2dc68f7 Thorsten Wißmann
open CoolUtils
9 5e185dd3 Thorsten Wißmann
10 a0cffef0 Thorsten Wißmann
val disjointAgents : sort -> localFormula -> localFormula -> bool
11 7369dd14 Thorsten Wißmann
12 a0cffef0 Thorsten Wißmann
val maxDisjoints : sort -> bset -> bset list
13 26e21f07 Thorsten Wißmann
val string_of_coalition : sort -> bset -> string
14
val string_of_coalition_list : sort -> bset list -> string
15 7369dd14 Thorsten Wißmann
16