computational-problem-solving/sat

import _count from './_count.js';

/**
 * Holds all properties of a k-CNF SAT instance in parity format.
 */
export default class ParitiesInstance {
    /**
     * Clauses are in parity format.
     *
     * @param {number[][]} clauses The clauses in parity format.
     */
    constructor(clauses) {
        /** @member {number[][]} The clauses in parity format. */
        this.clauses = clauses;
        /** @member {number} The number of variables in this instance. */
        this.n = _count(clauses);
    }

    /**
     * Returns assignment vector in parity format.
     *
     * @param {number[]} certificate
     * @return {number[]}
     */
    assignment(certificate) {
        return certificate.slice();
    }
}