Code:
/ Dotnetfx_Win7_3.5.1 / Dotnetfx_Win7_3.5.1 / 3.5.1 / DEVDIV / depot / DevDiv / releases / Orcas / NetFXw7 / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / NegationPusher.cs / 1 / 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
- NameValueSectionHandler.cs
- ZipIOExtraFieldElement.cs
- Form.cs
- NonParentingControl.cs
- MobileCategoryAttribute.cs
- sqlinternaltransaction.cs
- BamlCollectionHolder.cs
- ReadOnlyCollectionBuilder.cs
- FileRecordSequence.cs
- Type.cs
- XPathNodeInfoAtom.cs
- Column.cs
- RequiredFieldValidator.cs
- SafeHandle.cs
- SchemaName.cs
- BindingContext.cs
- Stylesheet.cs
- ParameterCollection.cs
- PathGeometry.cs
- Italic.cs
- XmlSchemaFacet.cs
- ContentHostHelper.cs
- SAPICategories.cs
- FormsAuthenticationCredentials.cs
- DateTime.cs
- SelfIssuedSamlTokenFactory.cs
- TextCompositionEventArgs.cs
- QueryExpr.cs
- DescendantQuery.cs
- InheritablePropertyChangeInfo.cs
- HostingEnvironmentException.cs
- ExpressionEditorAttribute.cs
- RtfFormatStack.cs
- XmlResolver.cs
- Menu.cs
- TextCompositionManager.cs
- ListViewGroupItemCollection.cs
- CodeSnippetTypeMember.cs
- LambdaCompiler.Binary.cs
- PartialCachingAttribute.cs
- LineServices.cs
- TableCell.cs
- PeerObject.cs
- ProviderConnectionPointCollection.cs
- GetReadStreamResult.cs
- DesignTimeVisibleAttribute.cs
- BooleanProjectedSlot.cs
- ConnectionOrientedTransportManager.cs
- ResourceReferenceExpression.cs
- DataRecordInternal.cs
- StringSorter.cs
- BuildProviderCollection.cs
- BooleanToVisibilityConverter.cs
- DescriptionAttribute.cs
- JobStaple.cs
- RunWorkerCompletedEventArgs.cs
- WSHttpBindingBaseElement.cs
- COM2EnumConverter.cs
- MiniParameterInfo.cs
- EpmSourcePathSegment.cs
- TextTrailingWordEllipsis.cs
- XamlToRtfParser.cs
- EncryptedKey.cs
- ProfileSettings.cs
- ToolStripSystemRenderer.cs
- InstanceData.cs
- DoubleConverter.cs
- ContextConfiguration.cs
- FontCollection.cs
- DecoderReplacementFallback.cs
- MarkupObject.cs
- XmlSchemaGroup.cs
- CopyNamespacesAction.cs
- TextServicesDisplayAttributePropertyRanges.cs
- WindowsRebar.cs
- Vector.cs
- MsmqIntegrationSecurityMode.cs
- WindowsGraphics.cs
- ConfigurationManagerHelperFactory.cs
- XmlNodeList.cs
- XamlToRtfParser.cs
- PersonalizationProviderCollection.cs
- ListSortDescription.cs
- SpotLight.cs
- FontStyleConverter.cs
- UnconditionalPolicy.cs
- PostBackOptions.cs
- NoResizeSelectionBorderGlyph.cs
- MaterialGroup.cs
- AlternateView.cs
- PropertyEntry.cs
- InputLanguageEventArgs.cs
- FloaterParaClient.cs
- ProviderConnectionPointCollection.cs
- MemberPathMap.cs
- NativeObjectSecurity.cs
- PhysicalOps.cs
- LookupBindingPropertiesAttribute.cs
- SaveWorkflowAsyncResult.cs
- IListConverters.cs