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
- FieldBuilder.cs
- SchemaAttDef.cs
- TextEncodedRawTextWriter.cs
- PhysicalOps.cs
- DBSqlParserColumn.cs
- Utility.cs
- Table.cs
- PictureBox.cs
- JapaneseLunisolarCalendar.cs
- CancellationToken.cs
- ItemAutomationPeer.cs
- QuaternionKeyFrameCollection.cs
- CollectionBase.cs
- ToolStripOverflow.cs
- XmlLanguageConverter.cs
- TaskHelper.cs
- JoinGraph.cs
- TypeConverter.cs
- UIElementHelper.cs
- MsmqIntegrationMessagePool.cs
- WsatConfiguration.cs
- CacheDependency.cs
- DesignTimeData.cs
- DataRecordObjectView.cs
- SetStoryboardSpeedRatio.cs
- WindowsListViewGroup.cs
- HtmlAnchor.cs
- NativeMethods.cs
- SystemIcons.cs
- WebBrowserBase.cs
- RuntimeHandles.cs
- CreateParams.cs
- SpellerStatusTable.cs
- ResourceFallbackManager.cs
- TreeViewItem.cs
- SizeLimitedCache.cs
- RuntimeArgument.cs
- PreparingEnlistment.cs
- SystemException.cs
- SqlDataReader.cs
- WebBrowserDesigner.cs
- ModelUtilities.cs
- DataGridPageChangedEventArgs.cs
- recordstatefactory.cs
- Vector3DAnimationUsingKeyFrames.cs
- EncodingNLS.cs
- WebPartActionVerb.cs
- DecoderNLS.cs
- DuplexSecurityProtocolFactory.cs
- SqlInternalConnectionTds.cs
- EdmError.cs
- ProcessHost.cs
- KeyPressEvent.cs
- CodeNamespaceImportCollection.cs
- SiteMapDataSource.cs
- WaitHandleCannotBeOpenedException.cs
- Baml6Assembly.cs
- Marshal.cs
- SchemaNotation.cs
- CodeCompiler.cs
- SingleTagSectionHandler.cs
- DataListItemEventArgs.cs
- OuterGlowBitmapEffect.cs
- HTMLTagNameToTypeMapper.cs
- XpsSerializerFactory.cs
- QueuePathEditor.cs
- Models.cs
- GridViewAutoFormat.cs
- GridItem.cs
- tabpagecollectioneditor.cs
- IOException.cs
- Math.cs
- UnsafeNativeMethodsTablet.cs
- AllMembershipCondition.cs
- IList.cs
- HttpHandlersSection.cs
- ConnectionStringsSection.cs
- TraceContextEventArgs.cs
- DataObjectCopyingEventArgs.cs
- Debug.cs
- DataGridItem.cs
- StateMachineExecutionState.cs
- MatrixAnimationBase.cs
- QilValidationVisitor.cs
- EventProviderWriter.cs
- SecUtil.cs
- BoundingRectTracker.cs
- SearchForVirtualItemEventArgs.cs
- Ticks.cs
- HScrollBar.cs
- TextBoxAutomationPeer.cs
- MeshGeometry3D.cs
- XmlSchemaDocumentation.cs
- TemplatePropertyEntry.cs
- RepeatBehaviorConverter.cs
- JsonReaderWriterFactory.cs
- CollectionBuilder.cs
- AdvancedBindingEditor.cs
- XmlChildEnumerator.cs
- AssemblyName.cs