Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (177 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

    
14

    
15