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
- MouseWheelEventArgs.cs
- CodeLinePragma.cs
- TextRangeAdaptor.cs
- AddIn.cs
- FlowchartDesigner.Helpers.cs
- SqlDataSourceQueryEditor.cs
- HashHelper.cs
- IssuedTokenServiceElement.cs
- XpsFilter.cs
- DayRenderEvent.cs
- ToolStripOverflowButton.cs
- IgnoreFlushAndCloseStream.cs
- ActiveXContainer.cs
- Facet.cs
- RectAnimationClockResource.cs
- MissingFieldException.cs
- DatagridviewDisplayedBandsData.cs
- StringPropertyBuilder.cs
- MatrixConverter.cs
- FlowLayout.cs
- MatcherBuilder.cs
- ElementAction.cs
- SamlDoNotCacheCondition.cs
- StylusTip.cs
- RectKeyFrameCollection.cs
- ScriptMethodAttribute.cs
- NestPullup.cs
- StyleBamlTreeBuilder.cs
- ComplexTypeEmitter.cs
- DataGridViewButtonCell.cs
- Span.cs
- FontFamilyIdentifier.cs
- DataGridTextBox.cs
- HostVisual.cs
- DataGridViewSelectedColumnCollection.cs
- SessionEndingEventArgs.cs
- TypeGeneratedEventArgs.cs
- ListenDesigner.cs
- BitmapCodecInfoInternal.cs
- CollectionConverter.cs
- IntSecurity.cs
- MarginsConverter.cs
- HostingEnvironmentWrapper.cs
- CollectionBuilder.cs
- HttpHeaderCollection.cs
- KeyGestureValueSerializer.cs
- Queue.cs
- LineGeometry.cs
- OletxResourceManager.cs
- MenuCommand.cs
- Model3DGroup.cs
- TextWriterTraceListener.cs
- _ContextAwareResult.cs
- GridToolTip.cs
- ParserContext.cs
- ItemsPanelTemplate.cs
- VisualCollection.cs
- Package.cs
- ConvertEvent.cs
- ColorBlend.cs
- PointCollectionConverter.cs
- Psha1DerivedKeyGenerator.cs
- GridView.cs
- ParseNumbers.cs
- ScriptManagerProxy.cs
- ExpressionBuilder.cs
- TimeoutException.cs
- CompoundFileIOPermission.cs
- WebEncodingValidator.cs
- PrimaryKeyTypeConverter.cs
- RectConverter.cs
- UriTemplateDispatchFormatter.cs
- RuntimeHelpers.cs
- Attributes.cs
- Int16Storage.cs
- DataKeyCollection.cs
- ArrayWithOffset.cs
- ConnectionPointGlyph.cs
- ConnectionManagementElement.cs
- COM2IProvidePropertyBuilderHandler.cs
- MethodBuilderInstantiation.cs
- DataRecordInternal.cs
- WpfKnownMemberInvoker.cs
- RectConverter.cs
- EntityDataSourceDesigner.cs
- XmlChildEnumerator.cs
- MSAAWinEventWrap.cs
- ThreadStateException.cs
- UIElement3DAutomationPeer.cs
- PropertyEmitter.cs
- WriteTimeStream.cs
- ActivityDesignerHighlighter.cs
- MemberPath.cs
- SchemaImporterExtensionElement.cs
- Size3DValueSerializer.cs
- CodeNamespaceImport.cs
- InheritedPropertyDescriptor.cs
- XmlNode.cs
- SelectionProviderWrapper.cs
- CounterCreationDataCollection.cs