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
- ScrollBarAutomationPeer.cs
- odbcmetadatacolumnnames.cs
- OutputCacheSettingsSection.cs
- WindowsPen.cs
- HttpCachePolicy.cs
- OutputCacheProfile.cs
- DataTable.cs
- EncoderFallback.cs
- SmiContext.cs
- KnownTypeDataContractResolver.cs
- Process.cs
- unsafeIndexingFilterStream.cs
- XmlReflectionMember.cs
- RuleRef.cs
- MdiWindowListStrip.cs
- __Filters.cs
- WebPartUserCapability.cs
- HttpCachePolicy.cs
- StatusBarItemAutomationPeer.cs
- ZipIOCentralDirectoryFileHeader.cs
- RegexCompilationInfo.cs
- TextBoxBase.cs
- MappedMetaModel.cs
- Bold.cs
- EntityTemplateFactory.cs
- RelationshipManager.cs
- PackageFilter.cs
- ping.cs
- ChildDocumentBlock.cs
- CompositeActivityTypeDescriptorProvider.cs
- URLBuilder.cs
- RuleRef.cs
- ReflectionHelper.cs
- PointCollectionConverter.cs
- StreamingContext.cs
- Semaphore.cs
- DeploymentSection.cs
- ResourceContainer.cs
- LinearGradientBrush.cs
- CodeTypeReferenceCollection.cs
- DbParameterCollectionHelper.cs
- ContextMenu.cs
- DrawingImage.cs
- ProviderUtil.cs
- ClientUriBehavior.cs
- TdsEnums.cs
- HMACSHA384.cs
- LiteralTextContainerControlBuilder.cs
- TypeElement.cs
- ClientUIRequest.cs
- ConfigurationManagerInternal.cs
- UserControlDesigner.cs
- References.cs
- SplineKeyFrames.cs
- RowUpdatedEventArgs.cs
- WindowsAuthenticationModule.cs
- EncodingInfo.cs
- MarshalDirectiveException.cs
- ProcessStartInfo.cs
- DataGridViewRowsAddedEventArgs.cs
- DataPagerCommandEventArgs.cs
- BaseDataList.cs
- PrePrepareMethodAttribute.cs
- DataGridViewCellValueEventArgs.cs
- CommandTreeTypeHelper.cs
- ResourceDictionaryCollection.cs
- BitmapEncoder.cs
- TreeNodeStyleCollection.cs
- CmsInterop.cs
- CatalogZoneBase.cs
- CodeDomConfigurationHandler.cs
- SQLString.cs
- __Error.cs
- BorderSidesEditor.cs
- EmptyEnumerator.cs
- DataGridBoolColumn.cs
- SynchronousChannelMergeEnumerator.cs
- TextBoxView.cs
- MouseActionValueSerializer.cs
- SiblingIterators.cs
- ErrorTableItemStyle.cs
- WeakReadOnlyCollection.cs
- SpellCheck.cs
- TextParaLineResult.cs
- ToolStripDropDownClosedEventArgs.cs
- ExtentCqlBlock.cs
- FormViewDeletedEventArgs.cs
- ImageMetadata.cs
- NavigationProperty.cs
- SplayTreeNode.cs
- ByteRangeDownloader.cs
- CellPartitioner.cs
- SqlNodeAnnotations.cs
- SignatureDescription.cs
- QilXmlWriter.cs
- Misc.cs
- KeyConstraint.cs
- AssemblyNameProxy.cs
- ProcessModelSection.cs
- Mapping.cs