CountingHashSet<'T> Type
A reference counting set, used for tracing the unions of sets with elements in common.
Constructors
Constructor | Description |
Full Usage:
CountingHashSet(store)
Parameters:
HashMap<'T, int>
Returns: CountingHashSet<'T>
|
|
Instance members
Instance member | Description |
|
|
|
|
|
|
Full Usage:
this.ApplyDelta
Parameters:
HashSetDelta<'T>
Returns: CountingHashSet<'T> * HashSetDelta<'T>
|
|
Full Usage:
this.ApplyDeltaNoRefCount
Parameters:
HashSetDelta<'T>
Returns: CountingHashSet<'T> * HashSetDelta<'T>
|
|
|
|
|
|
|
|
Full Usage:
this.Contains
Parameters:
'T
Returns: bool
|
|
Full Usage:
this.Count
Returns: int
|
|
|
|
Full Usage:
this.Exists
Parameters:
'T -> bool
Returns: bool
|
|
|
|
Full Usage:
this.Fold
Parameters:
'S
folder : 'S -> 'T -> 'S
Returns: 'S
|
|
Full Usage:
this.Forall
Parameters:
'T -> bool
Returns: bool
|
|
|
|
Full Usage:
this.GetRefCount
Parameters:
'T
Returns: int
|
|
|
|
Full Usage:
this.IsEmpty
Returns: bool
|
|
Full Usage:
this.Iter
Parameters:
'T -> unit
|
|
|
|
|
|
|
|
Full Usage:
this.ToArray
Returns: 'T[]
|
|
|
|
|
|
Full Usage:
this.ToList
Returns: 'T list
|
|
Full Usage:
this.ToSeq
Returns: 'T seq
|
|
|
|
Full Usage:
this.UnionWith
Parameters:
CountingHashSet<'T>
resolve : int -> int -> int
Returns: CountingHashSet<'T>
|
|
|
Static members
Static member | Description |
|
|
|
|
Full Usage:
CountingHashSet.OfHashMap(map)
Parameters:
HashMap<'T, int>
Returns: CountingHashSet<'T>
|
|
Full Usage:
CountingHashSet.OfHashSet(set)
Parameters:
HashSet<'T>
Returns: CountingHashSet<'T>
|
|
|
|
|
|
|
|
Full Usage:
CountingHashSet.TraceNoRefCount
Returns: Traceable<CountingHashSet<'T>, HashSetDelta<'T>>
|
|