Class PartialTruthTable

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Minimization.dll

A partially specified single-output truth table parsed from CSV. Rows absent from the CSV are don't-care minterms. Bit convention: bit j of a minterm index is the value of Variables[j], variables sorted alphabetically.

public sealed class PartialTruthTable

Inheritance

object

PartialTruthTable

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

DontCareSet

Minterms the CSV leaves unspecified (free for the minimizer).

public IReadOnlyCollection<int> DontCareSet { get; }

Property Value

IReadOnlyCollection<int>

OnSet

Minterms where the function is 1.

public IReadOnlyCollection<int> OnSet { get; }

Property Value

IReadOnlyCollection<int>

Variables

Sorted input variable names; bit j of a minterm is Variables[j].

public IReadOnlyList<string> Variables { get; }

Property Value

IReadOnlyList<string>