Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / NegationPusher.cs / 1305376 / 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
- DecoderFallback.cs
- Brush.cs
- AncestorChangedEventArgs.cs
- RolePrincipal.cs
- HostVisual.cs
- TextPenaltyModule.cs
- HostingEnvironment.cs
- XmlObjectSerializerWriteContextComplex.cs
- CanonicalizationDriver.cs
- PageBuildProvider.cs
- SpellCheck.cs
- BaseDataList.cs
- CompensationHandlingFilter.cs
- DesignerVerb.cs
- ReferencedAssemblyResolver.cs
- ImageKeyConverter.cs
- GridLength.cs
- DbReferenceCollection.cs
- SerializationAttributes.cs
- oledbmetadatacolumnnames.cs
- ImageListStreamer.cs
- Span.cs
- FreeFormPanel.cs
- ContractCodeDomInfo.cs
- SiteMapNodeCollection.cs
- Listbox.cs
- SByte.cs
- AbsoluteQuery.cs
- _HTTPDateParse.cs
- TreeViewItemAutomationPeer.cs
- Transactions.cs
- Point3DCollection.cs
- StaticExtension.cs
- PatternMatcher.cs
- IFlowDocumentViewer.cs
- Formatter.cs
- ContainerActivationHelper.cs
- Imaging.cs
- CqlParserHelpers.cs
- EventRouteFactory.cs
- Pen.cs
- XmlSchemaChoice.cs
- SqlNamer.cs
- Cloud.cs
- AutomationPatternInfo.cs
- Decorator.cs
- ConfigurationElementCollection.cs
- Query.cs
- ScalarRestriction.cs
- Throw.cs
- CompilerErrorCollection.cs
- VisualStates.cs
- Crc32Helper.cs
- ProfilePropertySettings.cs
- DataRowComparer.cs
- RoleService.cs
- RowCache.cs
- ReaderContextStackData.cs
- FontStretchConverter.cs
- WindowsSolidBrush.cs
- XmlDataDocument.cs
- StateWorkerRequest.cs
- LinkedResourceCollection.cs
- DBParameter.cs
- EmptyEnumerable.cs
- SqlBulkCopyColumnMapping.cs
- ITextView.cs
- ClickablePoint.cs
- XhtmlBasicFormAdapter.cs
- DynamicRenderer.cs
- _TLSstream.cs
- DrawingBrush.cs
- TransformerInfo.cs
- Asn1IntegerConverter.cs
- XhtmlBasicFormAdapter.cs
- CommandEventArgs.cs
- ResourcePool.cs
- SafeEventHandle.cs
- _LocalDataStore.cs
- RawAppCommandInputReport.cs
- XmlFormatExtensionPointAttribute.cs
- SecurityTokenParameters.cs
- InfoCardSymmetricAlgorithm.cs
- TimeIntervalCollection.cs
- TextDecorations.cs
- GroupedContextMenuStrip.cs
- HashCoreRequest.cs
- RemoteWebConfigurationHostServer.cs
- XPathNodeInfoAtom.cs
- VarRefManager.cs
- ReferenceConverter.cs
- WinFormsSecurity.cs
- DodSequenceMerge.cs
- SelectionEditor.cs
- Pkcs7Signer.cs
- ListViewDeletedEventArgs.cs
- PartialCachingControl.cs
- ControlType.cs
- ToolStripSplitStackLayout.cs
- ErrorTableItemStyle.cs