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
- ArgumentElement.cs
- OuterGlowBitmapEffect.cs
- RectangleGeometry.cs
- BufferAllocator.cs
- KeyValueSerializer.cs
- cookieexception.cs
- DynamicMetaObject.cs
- HttpRequest.cs
- UrlPropertyAttribute.cs
- _SslSessionsCache.cs
- ControlPaint.cs
- ConvertEvent.cs
- KnownBoxes.cs
- ScriptDescriptor.cs
- RuleRefElement.cs
- DiscoveryDocument.cs
- SoapElementAttribute.cs
- ItemList.cs
- SecurityVersion.cs
- ChtmlLinkAdapter.cs
- FontFamily.cs
- PolicyException.cs
- ObjectViewQueryResultData.cs
- SmtpSpecifiedPickupDirectoryElement.cs
- EventLogTraceListener.cs
- LicFileLicenseProvider.cs
- _Semaphore.cs
- ListControl.cs
- RangeExpression.cs
- DbConnectionStringCommon.cs
- SerializationException.cs
- ImmComposition.cs
- CodeVariableDeclarationStatement.cs
- SpecularMaterial.cs
- SqlDataSourceConfigureSelectPanel.cs
- ProxyWebPartManagerDesigner.cs
- DataFormats.cs
- Rect.cs
- UnhandledExceptionEventArgs.cs
- XmlArrayItemAttribute.cs
- PublisherIdentityPermission.cs
- RequiredFieldValidator.cs
- ImageIndexEditor.cs
- ListViewItemEventArgs.cs
- DataGridLinkButton.cs
- DurationConverter.cs
- RoutedEventHandlerInfo.cs
- StaticTextPointer.cs
- HtmlSelect.cs
- XmlSortKeyAccumulator.cs
- OpacityConverter.cs
- ZipIOLocalFileHeader.cs
- Message.cs
- _NetRes.cs
- LongPath.cs
- FormsAuthenticationTicket.cs
- DispatcherHookEventArgs.cs
- BaseServiceProvider.cs
- DescriptionAttribute.cs
- EntityDataSourceColumn.cs
- TextSchema.cs
- TranslateTransform.cs
- Scene3D.cs
- PrinterUnitConvert.cs
- InheritedPropertyChangedEventArgs.cs
- Parameter.cs
- PolyLineSegmentFigureLogic.cs
- SqlDataSourceStatusEventArgs.cs
- COM2IPerPropertyBrowsingHandler.cs
- CompensationToken.cs
- GridViewDeletedEventArgs.cs
- CngKeyBlobFormat.cs
- MatcherBuilder.cs
- CancellationHandlerDesigner.cs
- JsonObjectDataContract.cs
- SqlCommandBuilder.cs
- Pair.cs
- XPathChildIterator.cs
- BaseCollection.cs
- ReachSerializer.cs
- StorageBasedPackageProperties.cs
- TableCell.cs
- CodePageEncoding.cs
- GetBrowserTokenRequest.cs
- PartitionResolver.cs
- DesignerObject.cs
- SystemKeyConverter.cs
- FontFamily.cs
- ParentUndoUnit.cs
- ToolStripLabel.cs
- FileFormatException.cs
- Scripts.cs
- LeafCellTreeNode.cs
- FileSystemInfo.cs
- TransactionInformation.cs
- ComplexBindingPropertiesAttribute.cs
- EpmCustomContentSerializer.cs
- PatternMatcher.cs
- SqlNotificationEventArgs.cs
- SoapServerProtocol.cs