Class BooleanExpressionOptimizer

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

public class BooleanExpressionOptimizer

Inheritance

object

BooleanExpressionOptimizer

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Methods

OptimizeExpression(string, OptimizationOptions)

public OptimizationResult OptimizeExpression(string expression, OptimizationOptions options)

Parameters

expression string

options OptimizationOptions

Returns

OptimizationResult

OptimizeExpression(string, bool, bool)

Backward-compatible overload: computes every artifact.

public OptimizationResult OptimizeExpression(string expression, bool includeMetrics = false, bool includeDebugInfo = false)

Parameters

expression string

includeMetrics bool

includeDebugInfo bool

Returns

OptimizationResult

ToEquisatisfiableCnf(string)

Equisatisfiable CNF via Tseitin transformation: linear in expression size, introduces auxiliary _tN variables, applicable at any scale (unlike the equivalent CNF, which may be TooLarge beyond the exact threshold).

public TseitinCnf ToEquisatisfiableCnf(string expression)

Parameters

expression string

Returns

TseitinCnf