/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | constraint.cpp | 188 ValueCollection::ValueCollection() in ValueCollection() function in CVC4::theory::arith::ValueCollection 195 bool ValueCollection::hasLowerBound() const{ in hasLowerBound() 199 bool ValueCollection::hasUpperBound() const{ in hasUpperBound() 203 bool ValueCollection::hasEquality() const{ in hasEquality() 248 ValueCollection ValueCollection::mkFromConstraint(ConstraintP c){ in mkFromConstraint() 249 ValueCollection ret; in mkFromConstraint() 295 void ValueCollection::add(ConstraintP c){ in add() 365 bool ValueCollection::empty() const{ in empty() 851 ValueCollection& vc = pos->second; in getConstraint() 1526 const ValueCollection& vc = i->second; in getStrictlyWeakerLowerBound() [all …]
|
H A D | constraint.h | 165 class ValueCollection { 174 ValueCollection(); 176 static ValueCollection mkFromConstraint(ConstraintP c); 228 typedef std::map<DeltaRational, ValueCollection> SortedConstraintMap; 643 const ValueCollection& getValueCollection() const; 966 std::ostream& operator<<(std::ostream& o, const ValueCollection& c); 1159 ConstraintP ensureConstraint(ValueCollection& vc, ConstraintType t);
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/collections/objectmodel/ |
H A D | readonlydictionary.cs | 35 private ValueCollection m_values; 59 public ValueCollection Values { 61 Contract.Ensures(Contract.Result<ValueCollection>() != null); 63 m_values = new ValueCollection(m_dictionary.Values); 455 …public sealed class ValueCollection : ICollection<TValue>, ICollection, IReadOnlyCollection<TValue… class in System.Collections.ObjectModel.ReadOnlyDictionary 460 internal ValueCollection(ICollection<TValue> collection) in ValueCollection() method in System.Collections.ObjectModel.ReadOnlyDictionary.ValueCollection 555 #region Helper method for our KeyCollection and ValueCollection 624 #endregion Helper method for our KeyCollection and ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System/net/System/Net/ |
H A D | _SpnDictionary.cs | 35 private ValueCollection m_ValuesWrapper; 135 m_ValuesWrapper = new ValueCollection(this); 246 private class ValueCollection : ICollection class in System.Net.SpnDictionary 250 internal ValueCollection(SpnDictionary spnDictionary) in ValueCollection() method in System.Net.SpnDictionary.ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.ObjectModel/src/System/Collections/ObjectModel/ |
H A D | ReadOnlyDictionary.cs | 26 private ValueCollection _values; 54 public ValueCollection Values 60 _values = new ValueCollection(m_dictionary.Values); 533 …public sealed class ValueCollection : ICollection<TValue>, ICollection, IReadOnlyCollection<TValue> class in System.Collections.ObjectModel.ReadOnlyDictionary 539 internal ValueCollection(ICollection<TValue> collection) in ValueCollection() method in System.Collections.ObjectModel.ReadOnlyDictionary.ValueCollection 643 #region Helper method for our KeyCollection and ValueCollection 727 #endregion Helper method for our KeyCollection and ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.ObjectModel/tests/ReadOnlyDictionary/ |
H A D | ReadOnlyDictionary_SerializationTests.cs | 33 ReadOnlyDictionary<string, string>.ValueCollection values = d.Values; in SerializeDeserialize_Roundtrips() 34 …ReadOnlyDictionary<string, string>.ValueCollection valuesClone = BinaryFormatterHelpers.Clone(valu… in SerializeDeserialize_Roundtrips()
|
/dports/lang/mono-basic/mono-basic-4.7/vbnc/vbnc/tests/CompileTime2/ |
H A D | GenericNestedType3.vb | 4 ReadOnly Property Foo1 As Dictionary(Of String, String).ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/mscorlib/system/collections/generic/ |
H A D | dictionary.cs | 76 private ValueCollection values; 157 public ValueCollection Values { 159 Contract.Ensures(Contract.Result<ValueCollection>() != null); 160 if (values == null) values = new ValueCollection(this); 167 if (values == null) values = new ValueCollection(this); 174 if (values == null) values = new ValueCollection(this); 988 … public sealed class ValueCollection: ICollection<TValue>, ICollection, IReadOnlyCollection<TValue> class in System.Collections.Generic.Dictionary 992 public ValueCollection(Dictionary<TKey,TValue> dictionary) { in ValueCollection() method in System.Collections.Generic.Dictionary.ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Collections/src/System/Collections/Generic/ |
H A D | SortedDictionary.cs | 22 private ValueCollection _values; 179 public ValueCollection Values 183 if (_values == null) _values = new ValueCollection(this); 746 …public sealed class ValueCollection : ICollection<TValue>, ICollection, IReadOnlyCollection<TValue> class in System.Collections.Generic.SortedDictionary 750 public ValueCollection(SortedDictionary<TKey, TValue> dictionary) in ValueCollection() method in System.Collections.Generic.SortedDictionary.ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System/compmod/system/collections/generic/ |
H A D | sorteddictionary.cs | 21 private ValueCollection values; 143 public ValueCollection Values { 145 if (values == null) values = new ValueCollection(this); 603 …public sealed class ValueCollection: ICollection<TValue>, ICollection, IReadOnlyCollection<TValue>… class in System.Collections.Generic.SortedDictionary 606 public ValueCollection(SortedDictionary<TKey,TValue> dictionary) { in ValueCollection() method in System.Collections.Generic.SortedDictionary.ValueCollection
|
/dports/security/beecrypt/beecrypt-4.2.1/include/beecrypt/c++/util/ |
H A D | Hashtable.h | 334 class ValueCollection : public AbstractCollection<V> 340 ValueCollection(Hashtable* h) : _ht(h) in ValueCollection() function 343 virtual ~ValueCollection() {} in ~ValueCollection() 783 _values = new ValueCollection(this); in values() 795 _values = new ValueCollection(const_cast<Hashtable*>(this)); in values()
|
/dports/lang/mono-basic/mono-basic-4.7/vbnc/vbnc/tests/NonCecilRelated/ |
H A D | GenericNestedType2.vb | 5 Private m_List As Generic.Dictionary(Of Object, Object).ValueCollection
|
/dports/lang/mono-basic/mono-basic-4.7/vbnc/vbnc/tests/Errors/ |
H A D | 32042.vb | 5 Private m_List As Generic.Dictionary(Of Object, Object).ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Net.Primitives/src/System/Net/ |
H A D | CredentialCache.cs | 319 …private Dictionary<TKey, NetworkCredential>.ValueCollection.Enumerator _enumerator; // mutable str… 343 …private Dictionary<CredentialHostKey, NetworkCredential>.ValueCollection.Enumerator _enumerator; /… 383 …rnal static bool MoveNext<TKey, TValue>(ref Dictionary<TKey, TValue>.ValueCollection.Enumerator en… in MoveNext()
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/Common/src/CoreLib/System/Collections/Generic/ |
H A D | Dictionary.cs | 58 private ValueCollection _values; 185 public ValueCollection Values 189 if (_values == null) _values = new ValueCollection(this); 198 if (_values == null) _values = new ValueCollection(this); 207 if (_values == null) _values = new ValueCollection(this); 1294 …public sealed class ValueCollection : ICollection<TValue>, ICollection, IReadOnlyCollection<TValue> class in System.Collections.Generic.Dictionary 1298 public ValueCollection(Dictionary<TKey, TValue> dictionary) in ValueCollection() method in System.Collections.Generic.Dictionary.ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/external/corert/src/System.Private.CoreLib/shared/System/Collections/Generic/ |
H A D | Dictionary.cs | 61 private ValueCollection _values; 189 public ValueCollection Values 193 if (_values == null) _values = new ValueCollection(this); 202 if (_values == null) _values = new ValueCollection(this); 211 if (_values == null) _values = new ValueCollection(this); 1276 …public sealed class ValueCollection : ICollection<TValue>, ICollection, IReadOnlyCollection<TValue> class in System.Collections.Generic.Dictionary 1280 public ValueCollection(Dictionary<TKey, TValue> dictionary) in ValueCollection() method in System.Collections.Generic.Dictionary.ValueCollection
|
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.framework/bundles/org.eclipse.osgi/supplement/src/org/eclipse/osgi/framework/eventmgr/ |
H A D | CopyOnWriteIdentityMap.java | 477 return new ValueCollection(); in values() 591 private final class ValueCollection extends AbstractCollection<V> { class in CopyOnWriteIdentityMap.Snapshot 592 ValueCollection() { in ValueCollection() method in CopyOnWriteIdentityMap.Snapshot.ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/external/corert/src/System.Private.Interop/src/Shared/ |
H A D | Dictionary.cs | 131 public ValueCollection Values 135 return new ValueCollection(this); 924 public sealed class ValueCollection : ICollection<TValue>, ICollection class in System.Collections.Generic.Internal.Dictionary 928 public ValueCollection(Dictionary<TKey, TValue> dictionary) in ValueCollection() method in System.Collections.Generic.Internal.Dictionary.ValueCollection
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.ObjectModel/ref/ |
H A D | System.ObjectModel.cs | 68 …public System.Collections.ObjectModel.ReadOnlyDictionary<TKey, TValue>.ValueCollection Values { ge… 102 …public sealed partial class ValueCollection : System.Collections.Generic.ICollection<TValue>, Syst… class in System.Collections.ObjectModel.ReadOnlyDictionary 104 internal ValueCollection() { } in ValueCollection() method in System.Collections.ObjectModel.ReadOnlyDictionary.ValueCollection
|
/dports/devel/api-sanity-autotest/api-sanity-checker-1.98.4/ |
H A D | api-sanity-checker.pl | 4347 delete($ValueCollection{$CurrentBlock}); 4526 foreach (keys(%ValueCollection)) 4528 …@{$Saved_State{"ValueCollection"}{$_}}{keys(%{$ValueCollection{$_}})} = values %{$ValueCollection{… 5051 if($CurrentBlock and keys(%{$ValueCollection{$CurrentBlock}})) 5572 …or (defined $ValueCollection{$CurrentBlock}{$ParamName} and $ValueCollection{$CurrentBlock}{$Param… 7341 $ValueCollection{$CurrentBlock}{$Var} = $OutParam_TypeId; 7819 $ValueCollection{$CurrentBlock}{$Var} = $ArrayType_Id; 8413 $ValueCollection{$CurrentBlock}{$Var} = $StructId; 8887 $ValueCollection{$CurrentBlock}{$Var} = $UnionId; 9135 $ValueCollection{$CurrentBlock}{$Var} = $ClassId; [all …]
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Collections/tests/Generic/Dictionary/ |
H A D | Dictionary.Generic.Tests.Values.cs | 47 … Assert.Throws<ArgumentNullException>(() => new Dictionary<string, string>.ValueCollection(null)); in Dictionary_Generic_ValueCollection_Constructor_NullDictionary()
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Collections/tests/Generic/SortedDictionary/ |
H A D | SortedDictionary.Generic.Tests.Values.cs | 45 …rt.Throws<ArgumentNullException>(() => new SortedDictionary<string, string>.ValueCollection(null)); in SortedDictionary_Generic_ValueCollection_Constructor_NullDictionary()
|
/dports/lang/vala/vala-0.48.18/gee/ |
H A D | hashmap.vala | 74 return new ValueCollection<K,V> (this); 336 private class ValueCollection<K,V> : Collection<V> { 343 public ValueCollection (HashMap map) {
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Collections/ref/ |
H A D | System.Collections.cs | 88 …public System.Collections.Generic.Dictionary<TKey, TValue>.ValueCollection Values { get { throw nu… 149 …public sealed partial class ValueCollection : System.Collections.Generic.ICollection<TValue>, Syst… class in System.Collections.Generic.Dictionary 151 … public ValueCollection(System.Collections.Generic.Dictionary<TKey, TValue> dictionary) { } in ValueCollection() method in System.Collections.Generic.Dictionary.ValueCollection 157 …public System.Collections.Generic.Dictionary<TKey, TValue>.ValueCollection.Enumerator GetEnumerato… in GetEnumerator() 421 …public System.Collections.Generic.SortedDictionary<TKey, TValue>.ValueCollection Values { get { th… 478 …public sealed partial class ValueCollection : System.Collections.Generic.ICollection<TValue>, Syst… class in System.Collections.Generic.SortedDictionary 480 … public ValueCollection(System.Collections.Generic.SortedDictionary<TKey, TValue> dictionary) { } in ValueCollection() method in System.Collections.Generic.SortedDictionary.ValueCollection 486 …public System.Collections.Generic.SortedDictionary<TKey, TValue>.ValueCollection.Enumerator GetEnu… in GetEnumerator()
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Web/Routing/ |
H A D | RouteValueDictionary.cs | 38 public Dictionary<string, object>.ValueCollection Values {
|