Code:
/ Dotnetfx_Vista_SP2 / Dotnetfx_Vista_SP2 / 8.0.50727.4016 / DEVDIV / depot / DevDiv / releases / Orcas / QFE / 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
- ObjectDataSourceChooseTypePanel.cs
- EmissiveMaterial.cs
- InheritanceRules.cs
- WorkflowFormatterBehavior.cs
- TdsParserStaticMethods.cs
- LocalizableResourceBuilder.cs
- CultureInfoConverter.cs
- Compilation.cs
- AddInStore.cs
- LocalIdKeyIdentifierClause.cs
- InvalidComObjectException.cs
- WebPartZoneDesigner.cs
- _OSSOCK.cs
- PathData.cs
- ResourceBinder.cs
- EqualityComparer.cs
- _ConnectOverlappedAsyncResult.cs
- SecurityTokenProviderContainer.cs
- ContextProperty.cs
- UIPermission.cs
- CustomAttributeBuilder.cs
- PixelShader.cs
- Formatter.cs
- WebPartVerbsEventArgs.cs
- IdentityManager.cs
- MessagePropertyVariants.cs
- DescriptionAttribute.cs
- NavigationPropertySingletonExpression.cs
- PeerSecurityHelpers.cs
- CodeIndexerExpression.cs
- InstanceDataCollectionCollection.cs
- ConnectionPoint.cs
- ReflectionUtil.cs
- ContentControl.cs
- InvalidFilterCriteriaException.cs
- _FixedSizeReader.cs
- PageStatePersister.cs
- IPEndPoint.cs
- CursorInteropHelper.cs
- PeerApplicationLaunchInfo.cs
- TileBrush.cs
- SafeNativeMethods.cs
- SimpleWorkerRequest.cs
- X509CertificateTrustedIssuerElementCollection.cs
- input.cs
- XamlPointCollectionSerializer.cs
- PropertyConverter.cs
- FacetValueContainer.cs
- DelimitedListTraceListener.cs
- StateManagedCollection.cs
- VirtualDirectoryMapping.cs
- IItemContainerGenerator.cs
- CodeSnippetExpression.cs
- ItemCollection.cs
- ValidatedControlConverter.cs
- SafeThreadHandle.cs
- EntityException.cs
- ComponentSerializationService.cs
- CompressedStack.cs
- IPAddress.cs
- GradientStop.cs
- ResXResourceReader.cs
- _AuthenticationState.cs
- StickyNoteContentControl.cs
- PropertyChangingEventArgs.cs
- PasswordBoxAutomationPeer.cs
- CachedBitmap.cs
- TextPenaltyModule.cs
- WriteTimeStream.cs
- ImmutableObjectAttribute.cs
- DataGridViewTextBoxCell.cs
- HttpBindingExtension.cs
- SelectionPatternIdentifiers.cs
- DebugManager.cs
- BindingListCollectionView.cs
- FramingEncoders.cs
- LicFileLicenseProvider.cs
- ExpressionBuilder.cs
- TextElementEditingBehaviorAttribute.cs
- HttpWebResponse.cs
- BamlLocalizer.cs
- XmlLinkedNode.cs
- IntSecurity.cs
- ZoneMembershipCondition.cs
- RenderData.cs
- SmtpNtlmAuthenticationModule.cs
- MultiAsyncResult.cs
- URLBuilder.cs
- ParameterCollection.cs
- AccessViolationException.cs
- DisplayMemberTemplateSelector.cs
- DiagnosticEventProvider.cs
- MetadataArtifactLoader.cs
- XmlAttributeProperties.cs
- LabelDesigner.cs
- ScaleTransform.cs
- RelationshipFixer.cs
- PointConverter.cs
- EncodingInfo.cs
- DetailsViewUpdateEventArgs.cs