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
Properties
Column
1-based column of the offending token within its line.
public int Column { get; }
Property Value
Line
1-based line number of the offending token.
public int Line { get; }