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
- _NegoState.cs
- SQLByteStorage.cs
- ChangePasswordAutoFormat.cs
- Classification.cs
- InvokeFunc.cs
- CodeSubDirectoriesCollection.cs
- RemotingException.cs
- HttpCapabilitiesEvaluator.cs
- RequiredFieldValidator.cs
- ExpressionPrefixAttribute.cs
- X509CertificateCollection.cs
- BindingBase.cs
- HTTPNotFoundHandler.cs
- LocalBuilder.cs
- Size3DValueSerializer.cs
- BitmapEffectrendercontext.cs
- ContentElementAutomationPeer.cs
- SessionConnectionReader.cs
- StorageAssociationTypeMapping.cs
- XmlAggregates.cs
- WasAdminWrapper.cs
- SchemaAttDef.cs
- StringConcat.cs
- TemplateInstanceAttribute.cs
- StopStoryboard.cs
- DataGridColumnHeader.cs
- DataGridViewButtonCell.cs
- TemplateBindingExpressionConverter.cs
- EventLogPermissionEntryCollection.cs
- ReliabilityContractAttribute.cs
- IListConverters.cs
- Compiler.cs
- CompletedAsyncResult.cs
- Function.cs
- ServiceOperationDetailViewControl.cs
- SessionState.cs
- DesignerAdapterUtil.cs
- OutputScopeManager.cs
- TextRangeAdaptor.cs
- ContractMapping.cs
- OleDbError.cs
- InfoCardRSAOAEPKeyExchangeDeformatter.cs
- errorpatternmatcher.cs
- BatchParser.cs
- QualifiedCellIdBoolean.cs
- CompositeScriptReference.cs
- ObjectQuery_EntitySqlExtensions.cs
- updatecommandorderer.cs
- FileRegion.cs
- PopupRoot.cs
- SignatureDescription.cs
- SamlDoNotCacheCondition.cs
- XmlSortKey.cs
- ReliabilityContractAttribute.cs
- NavigatingCancelEventArgs.cs
- DefinitionBase.cs
- ReflectionUtil.cs
- StructuralCache.cs
- CodeLinePragma.cs
- BaseAddressElementCollection.cs
- OperatingSystem.cs
- SectionRecord.cs
- PropertyMapper.cs
- PrintPreviewControl.cs
- ChangesetResponse.cs
- DrawingDrawingContext.cs
- ValidatedControlConverter.cs
- BamlTreeUpdater.cs
- NamedPipeProcessProtocolHandler.cs
- TypefaceCollection.cs
- Underline.cs
- IisTraceListener.cs
- SimpleBitVector32.cs
- LinqDataSourceUpdateEventArgs.cs
- DataStreams.cs
- HashCryptoHandle.cs
- BitmapEffectState.cs
- FileUtil.cs
- Camera.cs
- CalendarData.cs
- NativeWindow.cs
- TextEditorSpelling.cs
- GroupStyle.cs
- ToolboxDataAttribute.cs
- EditorZone.cs
- GroupBox.cs
- ObjectSet.cs
- InputBinder.cs
- MessageBox.cs
- _OSSOCK.cs
- XmlEncoding.cs
- ToolBarTray.cs
- TemplateParser.cs
- Int16KeyFrameCollection.cs
- WindowVisualStateTracker.cs
- AppLevelCompilationSectionCache.cs
- ScaleTransform.cs
- RectangleGeometry.cs
- XPathNodeIterator.cs
- HtmlHead.cs