Class BooleanExpressionExporter

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

Exporter for boolean expressions to various standard formats

public static class BooleanExpressionExporter

Inheritance

object

BooleanExpressionExporter

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Methods

ToBlif(string, string?)

Export to BLIF format (Berkeley Logic Interchange Format)

public static string ToBlif(string expression, string? modelName = null)

Parameters

expression string

modelName string

Returns

string

ToDimacs(string, Dictionary<string, int>?)

Export to DIMACS format (for SAT solvers). Uses the equivalent CNF when the distribution stays within budget; falls back to the linear-size equisatisfiable Tseitin CNF for expressions where distribution would blow up.

public static string ToDimacs(string expression, Dictionary<string, int>? variableMapping = null)

Parameters

expression string

variableMapping Dictionary<string, int>

Returns

string

ToLatex(string)

Export to LaTeX format for mathematical typesetting

public static string ToLatex(string expression)

Parameters

expression string

Returns

string

ToMathematicalNotation(string)

Export to logical equations format (mathematical notation)

public static string ToMathematicalNotation(string expression)

Parameters

expression string

Returns

string

ToVerilog(string, string?)

Export to Verilog HDL format

public static string ToVerilog(string expression, string? moduleName = null)

Parameters

expression string

moduleName string

Returns

string

TruthTableToCsv(string)

Export truth table to CSV format

public static string TruthTableToCsv(string expression)

Parameters

expression string

Returns

string