Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (285 Bytes)

1

    
2

    
3
(*
4
    CoAlg Logic Utils
5
*)
6

    
7
open CoAlgMisc
8
open CoolUtils
9

    
10
val disjointAgents : sort -> localFormula -> localFormula -> bool
11

    
12
val maxDisjoints : sort -> bset -> bset list
13
val string_of_coalition : sort -> bset -> string
14
val string_of_coalition_list : sort -> bset list -> string
15

    
16

    
17