Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoAlgLogicUtils.ml @ bc0691dc

History | View | Annotate | Download (3.62 KB)

# Date Author Comment
a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

202433a6 05/15/2014 12:10 PM Thorsten Wißmann

Beautify conversion cliques->coalitions

The code converting maximal cliques to coalitions of CL is now much more
readable.

6e618918 05/15/2014 12:10 PM Thorsten Wißmann

Do not throw all CL coalitions in one bset

As ocaml is not purely functional, the following code snippets have
different semantics:

List.map (List.fold_left tmpf (bsetMakeRealEmpty ()))
(List.map S.elements intlist)

vs

List.map (fun x -> List.fold_left tmpf (bsetMakeRealEmpty ()) x)...
77a804ab 05/15/2014 11:53 AM Thorsten Wißmann

Add some debug output (in comments)

26e21f07 05/15/2014 11:12 AM Thorsten Wißmann

Add coalition list printing

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend