Explorations

private struct Explorations<T> where T : DisjunctiveConstraintProtocol

A set of constraint system solutions resulting from the explorations of the different choices of a disjunctive constraint.