generate
AssignmentEnumerator
globalConstraints
VariableStore ConstraintProvider
graph
internal