Class Model<T>

A satisfying assignment for a SatProblem<T>. Variables that were never constrained may be missing.

public sealed class Model<T> where T : IEquatable<T>

Constructors

A satisfying assignment for a SatProblem<T>. Variables that were never constrained may be missing.

public Model(IReadOnlyDictionary<T, bool> assignment)

The truth value assigned to value, or null if no assignment exists.

public bool? this[T value] { get; }