Ignore:
Timestamp:
Feb 27, 2013, 2:03:12 PM (7 years ago)
Author:
sacerdot
Message:

Porting the graph colouring stuff from the untrusted prototype to the extracted
code.

Location:
extracted/untrusted
Files:
1 added
1 copied

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/pset.mli

    r2735 r2738  
    11type 'x set
    22
    3 val set_empty : 'a1 set
     3val empty : 'a1 set
    44
    5 val set_member : ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 set -> Bool.bool
     5val is_empty: 'a1 set -> bool
    66
    7 val set_equal :
    8   ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
     7val mem : 'a1 -> 'a1 set -> bool
    98
    10 val set_diff : 'a1 set -> 'a1 set -> 'a1 set
     9val add : 'a1 -> 'a1 set -> 'a1 set
    1110
    12 val set_singleton : 'a1 -> 'a1 set
     11val remove: 'a1 -> 'a1 set -> 'a1 set
    1312
    14 val set_from_list : 'a1 List.list -> 'a1 set
     13val cardinal: 'a1 set -> int
    1514
    16 val set_subset :
    17   ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
     15val fold: ('a1 -> 'a -> 'a) -> 'a1 set -> 'a -> 'a
    1816
    19 val set_union : 'a1 set -> 'a1 set -> 'a1 set
     17val iter: ('a1 -> unit) -> 'a1 set -> unit
     18
     19val equal : 'a1 set -> 'a1 set -> bool
     20
     21val diff : 'a1 set -> 'a1 set -> 'a1 set
     22
     23val singleton : 'a1 -> 'a1 set
     24
     25val subset : 'a1 set -> 'a1 set -> bool
     26
     27val union : 'a1 set -> 'a1 set -> 'a1 set
Note: See TracChangeset for help on using the changeset viewer.