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
- WebPartHelpVerb.cs
- WebPermission.cs
- BmpBitmapDecoder.cs
- DiscoveryInnerClientManaged11.cs
- CachedCompositeFamily.cs
- ConnectionProviderAttribute.cs
- FamilyCollection.cs
- RectValueSerializer.cs
- ScriptingSectionGroup.cs
- IsolatedStorageException.cs
- SynchronizedDispatch.cs
- BasicExpressionVisitor.cs
- FlowSwitch.cs
- GlyphingCache.cs
- TabControlDesigner.cs
- HierarchicalDataSourceControl.cs
- TypeConverterValueSerializer.cs
- BindingsCollection.cs
- RefreshPropertiesAttribute.cs
- Padding.cs
- SiteMapSection.cs
- ValidationErrorCollection.cs
- ErrorWrapper.cs
- DropShadowEffect.cs
- DataGridViewRowConverter.cs
- LongValidatorAttribute.cs
- RuntimeArgumentHandle.cs
- AsymmetricSignatureDeformatter.cs
- DesignerUtility.cs
- ScriptResourceHandler.cs
- WeakReferenceEnumerator.cs
- HttpConfigurationSystem.cs
- LineServices.cs
- GenericsNotImplementedException.cs
- StrongNameSignatureInformation.cs
- RegexGroup.cs
- AutomationAttributeInfo.cs
- SQlBooleanStorage.cs
- StrokeNode.cs
- TagMapCollection.cs
- EncodingFallbackAwareXmlTextWriter.cs
- RightsDocument.cs
- SHA512Managed.cs
- Opcode.cs
- TextBounds.cs
- ThicknessAnimationUsingKeyFrames.cs
- RoleManagerSection.cs
- EncodingDataItem.cs
- DesignerToolboxInfo.cs
- CompositeDataBoundControl.cs
- TextView.cs
- ColorTransform.cs
- HttpValueCollection.cs
- SequentialOutput.cs
- CorrelationValidator.cs
- HttpPostLocalhostServerProtocol.cs
- BrowserDefinition.cs
- EntityKey.cs
- HtmlInputFile.cs
- ResourceType.cs
- SqlLiftIndependentRowExpressions.cs
- StrokeNode.cs
- XsdSchemaFileEditor.cs
- DeleteIndexBinder.cs
- ProcessHostServerConfig.cs
- FactoryId.cs
- SaveFileDialog.cs
- XmlDataDocument.cs
- ConvertersCollection.cs
- LayoutEditorPart.cs
- OdbcParameterCollection.cs
- RecognitionResult.cs
- ProfileEventArgs.cs
- CompiledQueryCacheKey.cs
- wgx_render.cs
- Overlapped.cs
- HttpModuleAction.cs
- CategoriesDocumentFormatter.cs
- TreeNodeStyleCollection.cs
- MarkerProperties.cs
- ArrangedElementCollection.cs
- EditorBrowsableAttribute.cs
- Misc.cs
- AdRotatorDesigner.cs
- TypeRestriction.cs
- DbProviderServices.cs
- ObjectDataSourceEventArgs.cs
- InkCanvasSelection.cs
- CompositeDispatchFormatter.cs
- UnsettableComboBox.cs
- CoreSwitches.cs
- DBDataPermission.cs
- DependencyPropertyChangedEventArgs.cs
- TimeSpanValidatorAttribute.cs
- input.cs
- TargetControlTypeAttribute.cs
- PingOptions.cs
- XmlILAnnotation.cs
- XmlILStorageConverter.cs
- EventlogProvider.cs