Struct EncodingStats

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Sat.dll

The size an encoding call added to a CnfBuilder: the number of clauses and auxiliary variables introduced. Available from the encoding-selecting overloads for diagnostics and for comparing encodings; the same numbers are also readable directly off Clauses.Count and VariableCount deltas.

public readonly struct EncodingStats

Inherited Members

ValueType.Equals(object)

ValueType.GetHashCode()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Constructors

EncodingStats(int, int)

public EncodingStats(int clauses, int auxiliaryVariables)

Parameters

clauses int

auxiliaryVariables int

Properties

AuxiliaryVariables

Auxiliary variables allocated by the encoding call.

public int AuxiliaryVariables { get; }

Property Value

int

Clauses

Clauses added by the encoding call.

public int Clauses { get; }

Property Value

int

Cost

The size metric used to compare encodings: Clauses + AuxiliaryVariables.

public int Cost { get; }

Property Value

int

Methods

ToString()

Returns the fully qualified type name of this instance.

public override string ToString()

Returns

string

The fully qualified type name.