Class FormatParseException

Namespace
LogicalOptimizer
Assembly
LogicalOptimizer.Formats.dll

Raised when a standard-format stream (DIMACS CNF, WCNF or OPB) is syntactically malformed. Carries the 1-based Line and Column of the offending token so callers can point at the exact position in the input. A resource limit being hit is reported separately as ComputationBudgetExceededException, never as this type.

public sealed class FormatParseException : Exception, ISerializable
Inheritance
FormatParseException
Implements
Inherited Members

Constructors

FormatParseException(string, int, int)

public FormatParseException(string message, int line, int column)

Parameters

message string
line int
column int

Properties

Column

1-based column of the offending token within its line.

public int Column { get; }

Property Value

int

Line

1-based line number of the offending token.

public int Line { get; }

Property Value

int