Class DimacsParser

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Formats.dll

Streaming parser for the DIMACS CNF format: c comment lines, a p cnf <nvars> <nclauses> header, and clauses of space-separated non-zero signed integers each terminated by 0 (a clause may span several lines). Reads line by line from the TextReader and never materializes the whole input; oversized variable indices or an overrun of ParseTokenLimit raise ComputationBudgetExceededException, and any other malformation raises FormatParseException with the offending line/column.

public static class DimacsParser

Inheritance

object

DimacsParser

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Methods

Parse(TextReader, ResourceBudget?, CancellationToken)

public static CnfProblem Parse(TextReader reader, ResourceBudget? budget = null, CancellationToken cancellationToken = default)

Parameters

reader TextReader

budget ResourceBudget

cancellationToken CancellationToken

Returns

CnfProblem