Code:
/ Net / Net / 3.5.50727.3053 / DEVDIV / depot / DevDiv / releases / Orcas / SP / 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
- ExceptionUtility.cs
- PermissionSetEnumerator.cs
- PathGeometry.cs
- DataGridDefaultColumnWidthTypeConverter.cs
- XpsS0ValidatingLoader.cs
- IPipelineRuntime.cs
- ValidationException.cs
- EntryWrittenEventArgs.cs
- DomNameTable.cs
- TabControlCancelEvent.cs
- TextDocumentView.cs
- SizeAnimationUsingKeyFrames.cs
- CodeNamespace.cs
- LabelAutomationPeer.cs
- RootBuilder.cs
- EventData.cs
- SymmetricAlgorithm.cs
- TimeStampChecker.cs
- PackageRelationship.cs
- HtmlLinkAdapter.cs
- EdgeProfileValidation.cs
- DesignerDataView.cs
- CopyAction.cs
- SecurityPolicySection.cs
- OrderedParallelQuery.cs
- ConfigurationCollectionAttribute.cs
- LocalValueEnumerator.cs
- X509ChainElement.cs
- arclist.cs
- HostedBindingBehavior.cs
- SQLInt16.cs
- JavaScriptSerializer.cs
- AutoSizeToolBoxItem.cs
- SizeF.cs
- DataSourceHelper.cs
- DataGridViewLinkColumn.cs
- Walker.cs
- WebConfigurationHostFileChange.cs
- DbConnectionFactory.cs
- ConditionBrowserDialog.cs
- X509SubjectKeyIdentifierClause.cs
- BaseTreeIterator.cs
- DataGridViewColumnEventArgs.cs
- CodeDefaultValueExpression.cs
- ZipPackage.cs
- ValidatingReaderNodeData.cs
- DbMetaDataColumnNames.cs
- DetailsViewDeleteEventArgs.cs
- SqlLiftWhereClauses.cs
- XmlSchemaIdentityConstraint.cs
- RefreshPropertiesAttribute.cs
- EmptyStringExpandableObjectConverter.cs
- XamlSerializer.cs
- CodeDOMUtility.cs
- _DisconnectOverlappedAsyncResult.cs
- UserPreferenceChangedEventArgs.cs
- SecurityTimestamp.cs
- HttpWriter.cs
- DateTimeOffsetAdapter.cs
- RelationshipDetailsRow.cs
- AssemblyBuilder.cs
- HtmlInputImage.cs
- _PooledStream.cs
- URLAttribute.cs
- ColorKeyFrameCollection.cs
- Fx.cs
- RNGCryptoServiceProvider.cs
- ToolboxItemAttribute.cs
- KeyGestureConverter.cs
- ViewStateModeByIdAttribute.cs
- ColorMatrix.cs
- ClientScriptManager.cs
- CachedTypeface.cs
- MessageFormatterConverter.cs
- Token.cs
- DataGridViewAdvancedBorderStyle.cs
- UIElement3DAutomationPeer.cs
- BackgroundFormatInfo.cs
- HighlightComponent.cs
- BasicCellRelation.cs
- HierarchicalDataBoundControl.cs
- TextChange.cs
- TraceSection.cs
- CodeTypeOfExpression.cs
- RowType.cs
- TimeStampChecker.cs
- CodeMemberMethod.cs
- PeerApplication.cs
- InvalidCommandTreeException.cs
- Polyline.cs
- EventHandlerList.cs
- ModelItemDictionaryImpl.cs
- CipherData.cs
- TraceSection.cs
- ApplicationDirectoryMembershipCondition.cs
- SafeFileHandle.cs
- NativeMethods.cs
- ListParaClient.cs
- BaseCAMarshaler.cs
- NameValueFileSectionHandler.cs