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
![Network programming in C#, Network Programming in VB.NET, Network Programming in .NET](/images/book.jpg)
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- Ops.cs
- CodeAccessSecurityEngine.cs
- FieldNameLookup.cs
- FileIOPermission.cs
- SQLConvert.cs
- XmlRawWriterWrapper.cs
- PersonalizableAttribute.cs
- OleDbError.cs
- RoleServiceManager.cs
- MsmqDiagnostics.cs
- CustomAttribute.cs
- WebPartPersonalization.cs
- ObjectDataSourceStatusEventArgs.cs
- TextTreeObjectNode.cs
- IDispatchConstantAttribute.cs
- Marshal.cs
- EndCreateSecurityTokenRequest.cs
- KerberosReceiverSecurityToken.cs
- FilterQueryOptionExpression.cs
- InputProviderSite.cs
- InteropBitmapSource.cs
- LassoSelectionBehavior.cs
- Environment.cs
- Rect3D.cs
- DataControlPagerLinkButton.cs
- X509CertificateValidationMode.cs
- EventProviderWriter.cs
- DirectoryGroupQuery.cs
- RowUpdatingEventArgs.cs
- ProxyFragment.cs
- ArgumentException.cs
- ApplicationCommands.cs
- TextBox.cs
- AttachedPropertyBrowsableForTypeAttribute.cs
- Empty.cs
- MembershipSection.cs
- DeflateStreamAsyncResult.cs
- FactoryGenerator.cs
- BamlStream.cs
- DataReaderContainer.cs
- FieldToken.cs
- _Events.cs
- OverrideMode.cs
- Button.cs
- ExpandCollapsePattern.cs
- DbConnectionPoolGroup.cs
- TemplatePropertyEntry.cs
- Timeline.cs
- ObjectTokenCategory.cs
- JsonClassDataContract.cs
- DynamicDocumentPaginator.cs
- WindowProviderWrapper.cs
- XmlText.cs
- BackStopAuthenticationModule.cs
- Context.cs
- ApplicationContext.cs
- ControlPropertyNameConverter.cs
- _DisconnectOverlappedAsyncResult.cs
- BindingOperations.cs
- ParserHooks.cs
- SurrogateChar.cs
- CodeSnippetCompileUnit.cs
- TextElement.cs
- XmlILModule.cs
- OracleConnectionFactory.cs
- RectangleF.cs
- UnmanagedBitmapWrapper.cs
- OrderedEnumerableRowCollection.cs
- DoubleMinMaxAggregationOperator.cs
- UInt16Converter.cs
- SqlCacheDependencyDatabaseCollection.cs
- XmlImplementation.cs
- PackagePartCollection.cs
- EntitySqlQueryCacheKey.cs
- RegexParser.cs
- NonVisualControlAttribute.cs
- XDRSchema.cs
- CodeExporter.cs
- ConstructorArgumentAttribute.cs
- VerificationAttribute.cs
- PrimarySelectionAdorner.cs
- GlobalAclOperationRequirement.cs
- XmlCharCheckingReader.cs
- Int64Storage.cs
- PeerNearMe.cs
- SqlResolver.cs
- MsmqProcessProtocolHandler.cs
- ExpressionBindings.cs
- Attributes.cs
- NegationPusher.cs
- DataControlFieldCollection.cs
- Menu.cs
- ProxyGenerator.cs
- TagPrefixCollection.cs
- IteratorFilter.cs
- RegexCaptureCollection.cs
- SelectionProcessor.cs
- ScanQueryOperator.cs
- ZipFileInfoCollection.cs
- ReflectTypeDescriptionProvider.cs