Function generateAssignments

scripts/fungrim/sample.ts:178–203

(
  variables: string[],
  domains: Record<string, Json>,
  seed: number,
  maxCandidates: number
)

 * accepted instances.
 */
export function generateAssignments(
  variables: string[],
  domains: Record<string, Json>,
  seed: number,
  maxCandidates: number
): Assignment[] {
  if (variables.length === 0) return [{}];
  const rng = mulberry32(seed);
  const pools = variables.map((v) => poolForDomain(domains[v]));
  const seen = new Set<string>();
  const out: Assignment[] = [];
  const space = pools.reduce((acc, p) => acc * p.length, 1);
  const tries = Math.min(maxCandidates * 4, space * 2, 400);
  for (let t = 0; t < tries && out.length < maxCandidates; t++) {
    const a: Assignment = {};
    for (let i = 0; i < variables.length; i++) {
      const pool = pools[i];
      a[variables[i]] = pool[Math.floor(rng() * pool.length)];
    }
    const key = JSON.stringify(a);
    if (seen.has(key)) continue;
    seen.add(key);
    out.push(a);
  }
  return out;
}