Code:
/ 4.0 / 4.0 / untmp / 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.
Link Menu
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- MultiPageTextView.cs
- WebPartAuthorizationEventArgs.cs
- GrammarBuilderRuleRef.cs
- HierarchicalDataBoundControl.cs
- XsltInput.cs
- ConnectionManagementElementCollection.cs
- base64Transforms.cs
- SuppressIldasmAttribute.cs
- _BasicClient.cs
- AuthorizationRule.cs
- BitmapVisualManager.cs
- LongValidator.cs
- ImageMetadata.cs
- DateTimeFormatInfo.cs
- AdPostCacheSubstitution.cs
- ComponentDispatcher.cs
- LazyTextWriterCreator.cs
- hresults.cs
- ControlBindingsCollection.cs
- ImageCodecInfo.cs
- ValidationHelpers.cs
- Vector3D.cs
- DependencyObjectPropertyDescriptor.cs
- AttributeUsageAttribute.cs
- DataGridViewRowConverter.cs
- TdsRecordBufferSetter.cs
- VectorAnimationBase.cs
- CalendarData.cs
- WindowAutomationPeer.cs
- MultiSelectRootGridEntry.cs
- RenderData.cs
- LabelEditEvent.cs
- WindowsTokenRoleProvider.cs
- WorkflowDesignerColors.cs
- WebPartManager.cs
- CompiledRegexRunnerFactory.cs
- FixedLineResult.cs
- WebUtility.cs
- HtmlElementErrorEventArgs.cs
- MergeFailedEvent.cs
- TextElementEnumerator.cs
- PenLineCapValidation.cs
- FragmentQuery.cs
- RawStylusActions.cs
- ServerReliableChannelBinder.cs
- SpellCheck.cs
- xml.cs
- DbExpressionVisitor.cs
- CodeIdentifiers.cs
- DataGridTablesFactory.cs
- DbRetry.cs
- SamlSecurityTokenAuthenticator.cs
- ObjectResult.cs
- CustomAssemblyResolver.cs
- TextEditorCopyPaste.cs
- ToolBarButtonClickEvent.cs
- DesignSurface.cs
- RemotingService.cs
- SHA1CryptoServiceProvider.cs
- AppSecurityManager.cs
- StateItem.cs
- InfoCardPolicy.cs
- SecurityContext.cs
- MenuCommands.cs
- AnnotationResourceCollection.cs
- CellQuery.cs
- Listbox.cs
- MetaChildrenColumn.cs
- ObjectNavigationPropertyMapping.cs
- AnnotationComponentManager.cs
- ParserExtension.cs
- CrossSiteScriptingValidation.cs
- RuleSettings.cs
- ResponseStream.cs
- NonBatchDirectoryCompiler.cs
- TypeUnloadedException.cs
- TransformedBitmap.cs
- WindowsToolbar.cs
- GridViewItemAutomationPeer.cs
- StringResourceManager.cs
- X509KeyIdentifierClauseType.cs
- WebScriptMetadataMessageEncoderFactory.cs
- QueryRewriter.cs
- TraceSwitch.cs
- WebPartCloseVerb.cs
- XmlSchemaSet.cs
- MailMessage.cs
- DataSpaceManager.cs
- AxisAngleRotation3D.cs
- XMLDiffLoader.cs
- TreeWalker.cs
- DocumentViewerConstants.cs
- HttpModuleAction.cs
- _LocalDataStoreMgr.cs
- XslAst.cs
- FrameworkElementAutomationPeer.cs
- CompiledQueryCacheKey.cs
- CaseExpr.cs
- Collection.cs
- DocumentOrderComparer.cs