Code:
/ Dotnetfx_Vista_SP2 / Dotnetfx_Vista_SP2 / 8.0.50727.4016 / DEVDIV / depot / DevDiv / releases / Orcas / QFE / 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
- SqlXmlStorage.cs
- SrgsRulesCollection.cs
- StylusDevice.cs
- TemplateBindingExtension.cs
- AppearanceEditorPart.cs
- ConnectionManagementSection.cs
- RegexCompiler.cs
- BitmapInitialize.cs
- TextModifier.cs
- WmlTextViewAdapter.cs
- Filter.cs
- ArrayTypeMismatchException.cs
- SynchronizationScope.cs
- DbXmlEnabledProviderManifest.cs
- SqlDataSourceRefreshSchemaForm.cs
- TargetControlTypeAttribute.cs
- LifetimeServices.cs
- SecurityResources.cs
- ReadOnlyDataSource.cs
- NullableIntAverageAggregationOperator.cs
- XmlText.cs
- EntityCollection.cs
- VSWCFServiceContractGenerator.cs
- BinaryFormatterWriter.cs
- FactoryId.cs
- TimelineCollection.cs
- TimeoutValidationAttribute.cs
- DocumentViewer.cs
- UnitySerializationHolder.cs
- ColumnWidthChangedEvent.cs
- WindowsNonControl.cs
- ZoomPercentageConverter.cs
- SByte.cs
- CategoryAttribute.cs
- StringReader.cs
- TaskFileService.cs
- ReadOnlyNameValueCollection.cs
- BlurBitmapEffect.cs
- RequiredFieldValidator.cs
- XmlObjectSerializerReadContextComplexJson.cs
- MissingSatelliteAssemblyException.cs
- XmlDeclaration.cs
- ContentPresenter.cs
- TypefaceMetricsCache.cs
- WebBrowserEvent.cs
- CachedTypeface.cs
- SQLStringStorage.cs
- FixedSOMTextRun.cs
- ApplicationServicesHostFactory.cs
- BridgeDataRecord.cs
- GZipUtils.cs
- UserValidatedEventArgs.cs
- RTLAwareMessageBox.cs
- QilParameter.cs
- UrlPropertyAttribute.cs
- sortedlist.cs
- Matrix3D.cs
- QilParameter.cs
- XMLSyntaxException.cs
- CanonicalFontFamilyReference.cs
- LabelEditEvent.cs
- RemotingServices.cs
- filewebresponse.cs
- UniqueIdentifierService.cs
- CapacityStreamGeometryContext.cs
- WeakReferenceList.cs
- FontFamilyValueSerializer.cs
- AtomContentProperty.cs
- TextStore.cs
- XmlSchemaSimpleTypeList.cs
- CustomCredentialPolicy.cs
- XslCompiledTransform.cs
- ByteConverter.cs
- _OverlappedAsyncResult.cs
- MemberInfoSerializationHolder.cs
- JsonUriDataContract.cs
- CheckBoxField.cs
- ReadOnlyDataSourceView.cs
- DecoderExceptionFallback.cs
- XmlException.cs
- CombinedHttpChannel.cs
- PlanCompiler.cs
- StrokeIntersection.cs
- MessageAction.cs
- AuthenticatedStream.cs
- StyleBamlRecordReader.cs
- PackageRelationshipSelector.cs
- RectAnimationBase.cs
- DataTablePropertyDescriptor.cs
- ProfileGroupSettingsCollection.cs
- MemoryPressure.cs
- Geometry.cs
- ControlDesigner.cs
- SerializationSectionGroup.cs
- FlowDocumentReaderAutomationPeer.cs
- EmptyStringExpandableObjectConverter.cs
- XPathMessageFilterElementCollection.cs
- NumberSubstitution.cs
- EventDescriptor.cs
- HealthMonitoringSectionHelper.cs