Home
last modified time | relevance | path

Searched refs:DoubleImmutableMap (Results 1 – 4 of 4) sorted by relevance

/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.DataStructures/
H A DDoubleImmutableMap.cs33 class DoubleImmutableMap<A, B, C>
39 private DoubleImmutableMap (IImmutableMap<A, IImmutableMap<B, C>> map) in DoubleImmutableMap() method in Mono.CodeContracts.Static.DataStructures.A
65 public DoubleImmutableMap<A, B, C> Add (A key1, B key2, C value) in Add()
68 return new DoubleImmutableMap<A, B, C> (this.map.Add (key1, immutableMap.Add (key2, value))); in Add()
71 public DoubleImmutableMap<A, B, C> RemoveAll (A key1) in RemoveAll()
73 return new DoubleImmutableMap<A, B, C> (this.map.Remove (key1)); in RemoveAll()
76 public DoubleImmutableMap<A, B, C> Remove (A key1, B key2) in Remove()
84 return new DoubleImmutableMap<A, B, C> (this.map.Add (key1, newInner)); in Remove()
87 public static DoubleImmutableMap<A, B, C> Empty (Func<A, int> uniqueIdGenerator) in Empty()
89 …return new DoubleImmutableMap<A, B, C> (ImmutableIntKeyMap<A, IImmutableMap<B, C>>.Empty (uniqueId… in Empty()
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph/
H A DSymGraph.cs71 TermMap = DoubleImmutableMap<SymValue, TFunc, SymValue>.Empty (SymValue.GetUniqueKey); in SymGraph()
72 …MultiEdgeMap = DoubleImmutableMap<SymValue, MultiEdge<TFunc, TADomain>, Sequence<SymValue>>.Empty … in SymGraph()
113 …public DoubleImmutableMap<SymValue, MultiEdge<TFunc, TADomain>, Sequence<SymValue>> MultiEdgeMap {…
114 public DoubleImmutableMap<SymValue, TFunc, SymValue> TermMap { get; private set; }
323 DoubleImmutableMap<SymValue, TFunc, SymValue> newTermMap = TermMap.Remove (value, function); in Eliminate()
H A DMergeInfo.cs51 private DoubleImmutableMap<SymValue, SymValue, SymValue> mappings;
59 this.mappings = DoubleImmutableMap<SymValue, SymValue, SymValue>.Empty (SymValue.GetUniqueKey); in MergeInfo()
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/
H A DMono.CodeContracts.dll.sources324 Mono.CodeContracts.Static.DataStructures/DoubleImmutableMap.cs