Code:
/ Net / Net / 3.5.50727.3053 / DEVDIV / depot / DevDiv / releases / Orcas / SP / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / NegationPusher.cs / 2 / 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
- XPathNodePointer.cs
- TextBoxView.cs
- DataTableMappingCollection.cs
- CharKeyFrameCollection.cs
- FixedTextContainer.cs
- StandardOleMarshalObject.cs
- SspiNegotiationTokenProviderState.cs
- FullTextLine.cs
- StubHelpers.cs
- Msec.cs
- MatrixValueSerializer.cs
- FormViewUpdatedEventArgs.cs
- mediaeventargs.cs
- WebPartConnectionCollection.cs
- RandomNumberGenerator.cs
- PropertyChangedEventManager.cs
- EntityStoreSchemaFilterEntry.cs
- XmlSchemaAttributeGroup.cs
- Label.cs
- MdiWindowListStrip.cs
- CodeTypeDeclaration.cs
- Matrix.cs
- ListBox.cs
- DependencyPropertyValueSerializer.cs
- DoubleConverter.cs
- JsonReaderDelegator.cs
- FormattedTextSymbols.cs
- CqlWriter.cs
- ZipIOCentralDirectoryBlock.cs
- ParserHooks.cs
- AnimationTimeline.cs
- TransactionContext.cs
- DCSafeHandle.cs
- JsonStringDataContract.cs
- DataGridViewCheckBoxColumn.cs
- AmbientValueAttribute.cs
- CmsInterop.cs
- DispatchWrapper.cs
- TraceFilter.cs
- WpfGeneratedKnownProperties.cs
- TypeUtil.cs
- MsmqIntegrationAppDomainProtocolHandler.cs
- EncodedStreamFactory.cs
- DeploymentExceptionMapper.cs
- SqlConnectionHelper.cs
- PlaceHolder.cs
- IApplicationTrustManager.cs
- GridViewCommandEventArgs.cs
- AccessedThroughPropertyAttribute.cs
- LinearKeyFrames.cs
- GACIdentityPermission.cs
- ChannelManager.cs
- SiteMapSection.cs
- XmlHelper.cs
- ListBoxAutomationPeer.cs
- CalendarTable.cs
- Literal.cs
- filewebresponse.cs
- CodeArrayCreateExpression.cs
- WebEventTraceProvider.cs
- WorkflowWebHostingModule.cs
- ZipPackagePart.cs
- XmlDataSourceView.cs
- Win32.cs
- TypedTableBase.cs
- Attributes.cs
- SafeFileMappingHandle.cs
- RenderTargetBitmap.cs
- ErrorFormatterPage.cs
- CubicEase.cs
- AVElementHelper.cs
- SpellerError.cs
- PerfService.cs
- AlternateView.cs
- FreeIndexList.cs
- StylusPlugin.cs
- MobileFormsAuthentication.cs
- EraserBehavior.cs
- FixedElement.cs
- ProfileEventArgs.cs
- PropertyRef.cs
- PrtTicket_Public_Simple.cs
- Site.cs
- SqlFactory.cs
- DataServicePagingProviderWrapper.cs
- PerformanceCounter.cs
- _TransmitFileOverlappedAsyncResult.cs
- TreeNodeCollection.cs
- MetadataSerializer.cs
- BinaryWriter.cs
- PositiveTimeSpanValidatorAttribute.cs
- DataGridCellsPanel.cs
- IndexedString.cs
- PropertyDescriptor.cs
- QueryableDataSource.cs
- ProfileSettings.cs
- WebPermission.cs
- AnnotationHelper.cs
- InputLanguageEventArgs.cs
- FigureParaClient.cs