Class NormalFormTooLargeException

Namespace: LogicalOptimizer

Assembly: LogicalOptimizer.Core.dll

Raised when a distribution-based normal-form conversion (equivalent CNF/DNF) is abandoned because the expression expands past its distribution-step budget, rather than because of a programming error. It derives from InvalidOperationException for backward compatibility, but its distinct identity lets callers fall back cleanly (mark the artifact TooLarge, or switch to the linear-size Tseitin encoding) without also swallowing a genuine invariant violation.

public sealed class NormalFormTooLargeException : InvalidOperationException, ISerializable

Inheritance: object

Exception

SystemException

InvalidOperationException

NormalFormTooLargeException

Implements: ISerializable

Inherited Members: Exception.GetBaseException()

Exception.GetType()

Exception.ToString()

Exception.Data

Exception.HelpLink

Exception.HResult

Exception.InnerException

Exception.Message

Exception.Source

Exception.StackTrace

Exception.TargetSite

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.ReferenceEquals(object, object)

Constructors

NormalFormTooLargeException(string)

public NormalFormTooLargeException(string message)

Parameters

message string

NormalFormTooLargeException(string, Exception)

public NormalFormTooLargeException(string message, Exception innerException)

Parameters

message string
innerException Exception