Class NodeBudgetExceededException

Namespace: LogicalOptimizer

Assembly: LogicalOptimizer.Core.dll

Raised when a decision-diagram / knowledge-compilation build gives up because it hit an explicit node budget (BDD or d-DNNF), rather than because of a programming error. It derives from InvalidOperationException for backward compatibility with callers that caught the broader type, but its distinct identity lets a fallback path (try the next variable order, return an Unknown verdict) tell a budget exhaustion apart from a genuine invariant violation, which must never be silently swallowed.

public sealed class NodeBudgetExceededException : InvalidOperationException, ISerializable

Inheritance: object

Exception

SystemException

InvalidOperationException

NodeBudgetExceededException

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

NodeBudgetExceededException(string)

public NodeBudgetExceededException(string message)

Parameters

message string

NodeBudgetExceededException(string, Exception)

public NodeBudgetExceededException(string message, Exception innerException)

Parameters

message string
innerException Exception