Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / NegationPusher.cs / 1305376 / NegationPusher.cs
//---------------------------------------------------------------------- //// Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Text; using System.Diagnostics; using System.Linq; namespace System.Data.Common.Utils.Boolean { // Top-down push-down of negation in Boolean expressions. // - !(A or B) iff. !A and !B // - !(A and B) iff. !A or !B // - !!A iff. A // Uses two visitor classes: one to handle negated subtrees (essentially creates // an inverted tree) and one to handle non-negated subtrees (replicates until it // encounters NotExpr) internal static class NegationPusher { internal static BoolExpr> EliminateNot (BoolExpr > expression) { return expression.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } private class NonNegatedTreeVisitor : BasicVisitor { internal static readonly NonNegatedTreeVisitor Instance = new NonNegatedTreeVisitor (); protected NonNegatedTreeVisitor() { } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NegatedTreeVisitor .Instance); } } private class NegatedTreeVisitor : Visitor > { internal static readonly NegatedTreeVisitor Instance = new NegatedTreeVisitor (); protected NegatedTreeVisitor() { } internal override BoolExpr VisitTrue(TrueExpr expression) { return FalseExpr .Value; } internal override BoolExpr VisitFalse(FalseExpr expression) { return TrueExpr .Value; } internal override BoolExpr VisitTerm(TermExpr expression) { return new NotExpr (expression); } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NonNegatedTreeVisitor .Instance); } internal override BoolExpr VisitAnd(AndExpr expression) { return new OrExpr (expression.Children.Select(child => child.Accept(this))); } internal override BoolExpr VisitOr(OrExpr expression) { return new AndExpr (expression.Children.Select(child => child.Accept(this))); } } private class NonNegatedDomainConstraintTreeVisitor : NonNegatedTreeVisitor > { internal new static readonly NonNegatedDomainConstraintTreeVisitor Instance = new NonNegatedDomainConstraintTreeVisitor (); private NonNegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NegatedDomainConstraintTreeVisitor .Instance); } } private class NegatedDomainConstraintTreeVisitor : NegatedTreeVisitor > { internal new static readonly NegatedDomainConstraintTreeVisitor Instance = new NegatedDomainConstraintTreeVisitor (); private NegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } internal override BoolExpr > VisitTerm(TermExpr > expression) { return new TermExpr >(expression.Identifier.InvertDomainConstraint()); } } } } // 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.Text; using System.Diagnostics; using System.Linq; namespace System.Data.Common.Utils.Boolean { // Top-down push-down of negation in Boolean expressions. // - !(A or B) iff. !A and !B // - !(A and B) iff. !A or !B // - !!A iff. A // Uses two visitor classes: one to handle negated subtrees (essentially creates // an inverted tree) and one to handle non-negated subtrees (replicates until it // encounters NotExpr) internal static class NegationPusher { internal static BoolExpr> EliminateNot (BoolExpr > expression) { return expression.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } private class NonNegatedTreeVisitor : BasicVisitor { internal static readonly NonNegatedTreeVisitor Instance = new NonNegatedTreeVisitor (); protected NonNegatedTreeVisitor() { } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NegatedTreeVisitor .Instance); } } private class NegatedTreeVisitor : Visitor > { internal static readonly NegatedTreeVisitor Instance = new NegatedTreeVisitor (); protected NegatedTreeVisitor() { } internal override BoolExpr VisitTrue(TrueExpr expression) { return FalseExpr .Value; } internal override BoolExpr VisitFalse(FalseExpr expression) { return TrueExpr .Value; } internal override BoolExpr VisitTerm(TermExpr expression) { return new NotExpr (expression); } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NonNegatedTreeVisitor .Instance); } internal override BoolExpr VisitAnd(AndExpr expression) { return new OrExpr (expression.Children.Select(child => child.Accept(this))); } internal override BoolExpr VisitOr(OrExpr expression) { return new AndExpr (expression.Children.Select(child => child.Accept(this))); } } private class NonNegatedDomainConstraintTreeVisitor : NonNegatedTreeVisitor > { internal new static readonly NonNegatedDomainConstraintTreeVisitor Instance = new NonNegatedDomainConstraintTreeVisitor (); private NonNegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NegatedDomainConstraintTreeVisitor .Instance); } } private class NegatedDomainConstraintTreeVisitor : NegatedTreeVisitor > { internal new static readonly NegatedDomainConstraintTreeVisitor Instance = new NegatedDomainConstraintTreeVisitor (); private NegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } internal override BoolExpr > VisitTerm(TermExpr > expression) { return new TermExpr >(expression.Identifier.InvertDomainConstraint()); } } } } // 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
- DbProviderManifest.cs
- ExceptionUtil.cs
- IgnoreFileBuildProvider.cs
- AsymmetricSignatureDeformatter.cs
- DirectionalLight.cs
- ToolStripDropDown.cs
- PriorityItem.cs
- DtdParser.cs
- WebPartConnectionsDisconnectVerb.cs
- CustomAttributeBuilder.cs
- HttpModuleAction.cs
- EditorAttribute.cs
- SignatureToken.cs
- Parameter.cs
- MobileListItem.cs
- listitem.cs
- JournalEntry.cs
- CompilerParameters.cs
- ModelTreeEnumerator.cs
- X509Utils.cs
- HealthMonitoringSectionHelper.cs
- DirectoryInfo.cs
- HtmlControl.cs
- StatusBar.cs
- EventLogPermissionAttribute.cs
- SoapReflector.cs
- FreezableCollection.cs
- Menu.cs
- RemoteWebConfigurationHostStream.cs
- CorrelationScope.cs
- WorkflowHostingResponseContext.cs
- DbConnectionPoolIdentity.cs
- EventSinkHelperWriter.cs
- RowBinding.cs
- CollectionType.cs
- SizeChangedEventArgs.cs
- DownloadProgressEventArgs.cs
- RuleSettings.cs
- PtsHelper.cs
- TextEditor.cs
- FrameDimension.cs
- TCPClient.cs
- CategoryAttribute.cs
- IssuedTokenClientCredential.cs
- DocumentEventArgs.cs
- ButtonAutomationPeer.cs
- DataFormat.cs
- FieldMetadata.cs
- Region.cs
- AppSettingsReader.cs
- SoapConverter.cs
- DataTableCollection.cs
- SiteMapDataSource.cs
- SpellerStatusTable.cs
- VisualStyleRenderer.cs
- EntityClassGenerator.cs
- QueryMatcher.cs
- PEFileReader.cs
- Content.cs
- DateTimePickerDesigner.cs
- OleDbDataAdapter.cs
- ReferentialConstraint.cs
- CombinedGeometry.cs
- TypeConvertions.cs
- LayoutSettings.cs
- CellQuery.cs
- BindingElementCollection.cs
- ReadWriteObjectLock.cs
- Wizard.cs
- MimeObjectFactory.cs
- Lookup.cs
- RotationValidation.cs
- Rect.cs
- CommandSet.cs
- FileLogRecordHeader.cs
- TypeLoader.cs
- TextInfo.cs
- ServicePointManagerElement.cs
- Geometry3D.cs
- FieldAccessException.cs
- _ProxyChain.cs
- DotAtomReader.cs
- DocumentXmlWriter.cs
- XmlHelper.cs
- ExpressionLexer.cs
- XmlBinaryReader.cs
- InheritanceContextHelper.cs
- SafeNativeMethods.cs
- CodeGenerationManager.cs
- DataTableMapping.cs
- PointAnimationUsingKeyFrames.cs
- MobileCategoryAttribute.cs
- Transform.cs
- ThreadInterruptedException.cs
- InvalidDataContractException.cs
- _WebProxyDataBuilder.cs
- Module.cs
- AdRotator.cs
- TransactionManager.cs
- CodePropertyReferenceExpression.cs