Class BackboneResult

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

Result of a backbone query.

public sealed class BackboneResult

Inheritance

object

BackboneResult

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

ForcedVariables

Variables with a forced polarity; set exactly when IsSatisfiable is true.

public IReadOnlyDictionary<string, bool>? ForcedVariables { get; }

Property Value

IReadOnlyDictionary<string, bool>

IsSatisfiable

Null when the conflict budget ran out before a verdict.

public bool? IsSatisfiable { get; }

Property Value

bool?