Class CircuitSerializationException

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Core.dll

Experimental (until v4). Raised when a compiled-circuit binary blob (the Save/Load format shared by BinaryDecisionDiagram and DnnfCircuit) is malformed: a bad magic marker, an unrecognised — in particular a newer, forward — format version, the wrong engine byte, a checksum mismatch, a truncated stream, or a structurally invalid node table (an out-of-range index, a non-topological reference, an invalid root or terminal). A checksum only catches corruption; the loader still validates structure and reports every violation as this typed exception rather than misreading the input. A resource limit hit while loading is reported separately as NodeBudgetExceededException, never as this type.

The binary format is experimental and carries no cross-version compatibility guarantee before v4 other than the version gate, which refuses a blob written by a newer build.

public sealed class CircuitSerializationException : Exception, ISerializable

Inheritance

object

Exception

CircuitSerializationException

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

CircuitSerializationException(string)

public CircuitSerializationException(string message)

Parameters

message string

CircuitSerializationException(string, Exception)

public CircuitSerializationException(string message, Exception innerException)

Parameters

message string

innerException Exception