Code:
/ Dotnetfx_Win7_3.5.1 / Dotnetfx_Win7_3.5.1 / 3.5.1 / DEVDIV / depot / DevDiv / releases / Orcas / NetFXw7 / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / DomainConstraint.cs / 1 / DomainConstraint.cs
//---------------------------------------------------------------------- //// Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Diagnostics; namespace System.Data.Common.Utils.Boolean { ////// Represents a variable with finite domain, e.g., c in {1, 2, 3} /// ///Type of domain variables (int in the above example). ///Type of the identifier (c above -- it need not be int). internal class DomainVariable{ private readonly T_Variable _identifier; private readonly Set _domain; private readonly int _hashCode; private readonly IEqualityComparer _identifierComparer; /// /// Constructs a new domain variable. /// /// Identifier /// Domain of variable. /// Comparer of identifier internal DomainVariable(T_Variable identifier, Setdomain, IEqualityComparer identifierComparer) { Debug.Assert(null != identifier && null != domain); _identifier = identifier; _domain = domain.AsReadOnly(); _identifierComparer = identifierComparer ?? EqualityComparer .Default; int domainHashCode = _domain.GetElementsHashCode(); int identifierHashCode = _identifierComparer.GetHashCode(_identifier); _hashCode = domainHashCode ^ identifierHashCode; } internal DomainVariable(T_Variable identifier, Set domain) : this(identifier, domain, null) { } /// /// Gets the variable. /// internal T_Variable Identifier { get { return _identifier; } } ////// Gets the domain of this variable. /// internal SetDomain { get { return _domain; } } public override int GetHashCode() { return _hashCode; } public override bool Equals(object obj) { if (Object.ReferenceEquals(this, obj)) { return true; } DomainVariable other = obj as DomainVariable ; if (null == other) { return false; } if (_hashCode != other._hashCode) { return false; } return (_identifierComparer.Equals(_identifier, other._identifier) && _domain.SetEquals(other._domain)); } public override string ToString() { return StringUtil.FormatInvariant("{0}{{{1}}}", _identifier.ToString(), _domain); } } /// /// Represents a constraint of the form: /// /// Var1 in Range /// ///Type of range elements. ///Type of the variable. internal class DomainConstraint{ private readonly DomainVariable _variable; private readonly Set _range; private readonly int _hashCode; /// /// Constructs a new constraint for the given variable and range. /// /// Variable in constraint. /// Range of constraint. internal DomainConstraint(DomainVariablevariable, Set range) { Debug.Assert(null != variable && null != range); _variable = variable; _range = range.AsReadOnly(); _hashCode = _variable.GetHashCode() ^ _range.GetElementsHashCode(); } /// /// Constructor supporting a singleton range domain constraint /// internal DomainConstraint(DomainVariablevariable, T_Element element) : this(variable, new Set (new T_Element[] { element }).MakeReadOnly()) { } /// /// Gets the variable for this constraint. /// internal DomainVariableVariable { get { return _variable; } } /// /// Get the range for this constraint. /// internal SetRange { get { return _range; } } /// /// Inverts this constraint (this iff. !result) /// !(Var in Range) iff. Var in (Var.Domain - Range) /// ///internal DomainConstraint InvertDomainConstraint() { return new DomainConstraint (_variable, _variable.Domain.Difference(_range).AsReadOnly()); } public override bool Equals(object obj) { if (Object.ReferenceEquals(this, obj)) { return true; } DomainConstraint other = obj as DomainConstraint ; if (null == other) { return false; } if (_hashCode != other._hashCode) { return false; } return (_range.SetEquals(other._range) && _variable.Equals(other._variable)); } public override int GetHashCode() { return _hashCode; } public override string ToString() { return StringUtil.FormatInvariant("{0} in [{1}]", _variable, _range); } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007. //---------------------------------------------------------------------- // // Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Diagnostics; namespace System.Data.Common.Utils.Boolean { ////// Represents a variable with finite domain, e.g., c in {1, 2, 3} /// ///Type of domain variables (int in the above example). ///Type of the identifier (c above -- it need not be int). internal class DomainVariable{ private readonly T_Variable _identifier; private readonly Set _domain; private readonly int _hashCode; private readonly IEqualityComparer _identifierComparer; /// /// Constructs a new domain variable. /// /// Identifier /// Domain of variable. /// Comparer of identifier internal DomainVariable(T_Variable identifier, Setdomain, IEqualityComparer identifierComparer) { Debug.Assert(null != identifier && null != domain); _identifier = identifier; _domain = domain.AsReadOnly(); _identifierComparer = identifierComparer ?? EqualityComparer .Default; int domainHashCode = _domain.GetElementsHashCode(); int identifierHashCode = _identifierComparer.GetHashCode(_identifier); _hashCode = domainHashCode ^ identifierHashCode; } internal DomainVariable(T_Variable identifier, Set domain) : this(identifier, domain, null) { } /// /// Gets the variable. /// internal T_Variable Identifier { get { return _identifier; } } ////// Gets the domain of this variable. /// internal SetDomain { get { return _domain; } } public override int GetHashCode() { return _hashCode; } public override bool Equals(object obj) { if (Object.ReferenceEquals(this, obj)) { return true; } DomainVariable other = obj as DomainVariable ; if (null == other) { return false; } if (_hashCode != other._hashCode) { return false; } return (_identifierComparer.Equals(_identifier, other._identifier) && _domain.SetEquals(other._domain)); } public override string ToString() { return StringUtil.FormatInvariant("{0}{{{1}}}", _identifier.ToString(), _domain); } } /// /// Represents a constraint of the form: /// /// Var1 in Range /// ///Type of range elements. ///Type of the variable. internal class DomainConstraint{ private readonly DomainVariable _variable; private readonly Set _range; private readonly int _hashCode; /// /// Constructs a new constraint for the given variable and range. /// /// Variable in constraint. /// Range of constraint. internal DomainConstraint(DomainVariablevariable, Set range) { Debug.Assert(null != variable && null != range); _variable = variable; _range = range.AsReadOnly(); _hashCode = _variable.GetHashCode() ^ _range.GetElementsHashCode(); } /// /// Constructor supporting a singleton range domain constraint /// internal DomainConstraint(DomainVariablevariable, T_Element element) : this(variable, new Set (new T_Element[] { element }).MakeReadOnly()) { } /// /// Gets the variable for this constraint. /// internal DomainVariableVariable { get { return _variable; } } /// /// Get the range for this constraint. /// internal SetRange { get { return _range; } } /// /// Inverts this constraint (this iff. !result) /// !(Var in Range) iff. Var in (Var.Domain - Range) /// ///internal DomainConstraint InvertDomainConstraint() { return new DomainConstraint (_variable, _variable.Domain.Difference(_range).AsReadOnly()); } public override bool Equals(object obj) { if (Object.ReferenceEquals(this, obj)) { return true; } DomainConstraint other = obj as DomainConstraint ; if (null == other) { return false; } if (_hashCode != other._hashCode) { return false; } return (_range.SetEquals(other._range) && _variable.Equals(other._variable)); } public override int GetHashCode() { return _hashCode; } public override string ToString() { return StringUtil.FormatInvariant("{0} in [{1}]", _variable, _range); } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007.
Link Menu
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- PageThemeCodeDomTreeGenerator.cs
- BooleanKeyFrameCollection.cs
- SynchronizedInputHelper.cs
- GridViewSelectEventArgs.cs
- TagPrefixAttribute.cs
- WorkflowDebuggerSteppingAttribute.cs
- Paragraph.cs
- DecodeHelper.cs
- LinkedResource.cs
- OdbcFactory.cs
- KeyValuePairs.cs
- SubMenuStyleCollectionEditor.cs
- VectorCollectionValueSerializer.cs
- HighlightOverlayGlyph.cs
- ApplicationTrust.cs
- ProtocolViolationException.cs
- NativeMethods.cs
- HandleRef.cs
- SizeLimitedCache.cs
- TemplateField.cs
- LinearGradientBrush.cs
- XmlMapping.cs
- X509Certificate.cs
- SystemIPv4InterfaceProperties.cs
- TraceEventCache.cs
- ResourceDictionary.cs
- ConfigXmlDocument.cs
- BuildManager.cs
- DictionarySectionHandler.cs
- SQLMoneyStorage.cs
- FileIOPermission.cs
- DrawingAttributesDefaultValueFactory.cs
- TemplateParser.cs
- WebRequestModulesSection.cs
- TextTreeFixupNode.cs
- ClientApiGenerator.cs
- StateBag.cs
- EventRecord.cs
- BamlMapTable.cs
- BrowserDefinition.cs
- PngBitmapDecoder.cs
- SimpleApplicationHost.cs
- RawUIStateInputReport.cs
- ListenerConnectionDemuxer.cs
- CqlParserHelpers.cs
- StylusCollection.cs
- ExternalException.cs
- TreeViewItemAutomationPeer.cs
- Stroke2.cs
- infer.cs
- GridView.cs
- SoapAttributeOverrides.cs
- FixedHighlight.cs
- TimeoutValidationAttribute.cs
- ITreeGenerator.cs
- EdmItemError.cs
- AstTree.cs
- UserControl.cs
- XMLSyntaxException.cs
- DayRenderEvent.cs
- LookupNode.cs
- IProvider.cs
- TextRangeEdit.cs
- DbConnectionPoolOptions.cs
- MasterPageBuildProvider.cs
- OuterGlowBitmapEffect.cs
- _HelperAsyncResults.cs
- ReversePositionQuery.cs
- OracleDataAdapter.cs
- BitmapFrame.cs
- compensatingcollection.cs
- PointAnimationUsingPath.cs
- InputChannelAcceptor.cs
- ImageClickEventArgs.cs
- DataGridViewCheckBoxColumn.cs
- AssemblyBuilder.cs
- CellCreator.cs
- RenderingEventArgs.cs
- AnnouncementService.cs
- RSAPKCS1KeyExchangeFormatter.cs
- ControlValuePropertyAttribute.cs
- MatrixTransform3D.cs
- VisualBasicValue.cs
- PageTheme.cs
- StatusBarDesigner.cs
- XmlSchemaImport.cs
- EdmSchemaError.cs
- ObjectParameterCollection.cs
- Expression.DebuggerProxy.cs
- CapabilitiesSection.cs
- TextPointerBase.cs
- MetadataItemCollectionFactory.cs
- RequestNavigateEventArgs.cs
- CommandID.cs
- DecimalAnimationBase.cs
- Decimal.cs
- DbParameterCollection.cs
- ImageAttributes.cs
- EntityDataSourceValidationException.cs
- IndexOutOfRangeException.cs