Class CsvTruthTableParser

Namespace: LogicalOptimizer

Assembly: LogicalOptimizer.Minimization.dll

Parser for CSV truth tables that converts them to boolean expressions

public class CsvTruthTableParser

Inheritance: object

CsvTruthTableParser

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Methods

GenerateExampleCsv()

Generate example CSV content for demonstration

public static string GenerateExampleCsv()

Returns

string

LooksLikeCsv(string)

Check if input looks like CSV content (contains commas and multiple lines)

public static bool LooksLikeCsv(string input)

Parameters

input string

Returns

bool

ParseCsvFileToExpression(string)

Parse CSV truth table from file path

public static string ParseCsvFileToExpression(string filePath)

Parameters

filePath string

Returns

string

ParseCsvToExpression(string)

Parse CSV truth table and convert to DNF (Disjunctive Normal Form) expression

public static string ParseCsvToExpression(string csvContent)

Parameters

csvContent string

Returns

string

ParseCsvToMultiOutputTable(string, IReadOnlyCollection<string>)

Parse a CSV table with several output columns (e.g. a,b,Sum,Carry). Every column listed in outputColumns is an output; all other columns are input variables. Rows absent from the CSV count as don't-care for every output.

public static MultiOutputTable ParseCsvToMultiOutputTable(string csvContent, IReadOnlyCollection<string> outputColumns)

Parameters

csvContent string
outputColumns IReadOnlyCollection<string>

Returns

MultiOutputTable

ParseCsvToPartialTable(string)

Parse a (possibly partial) CSV truth table. Rows absent from the CSV are reported as don't-care minterms. Bit convention: bit j of a minterm index is the value of Variables[j], variables sorted alphabetically.

public static PartialTruthTable ParseCsvToPartialTable(string csvContent)

Parameters

csvContent string

Returns

PartialTruthTable