import type { CpNode } from "../cp-node/cp-node.js";
import type { Mat } from '../mat/mat.js';
import { isOnSameLoop } from "../cp-node/fs/is-on-same-loop.js";
import { getAllOnLoop_ByLoop } from "../cp-node/fs/get-all-on-loop-by-loop.js";
import { isFullyTerminating } from "../cp-node/fs/is-fully-terminating.js";


function getCpNodessForSat(
        sat: Mat): CpNode[][] {

    let { cpNode } = sat;

    while (!isFullyTerminating(cpNode)) {
        cpNode = cpNode.next;
    }
    if (!isOnSameLoop(cpNode, cpNode.next)) {
        cpNode = cpNode.holeCloserTwin!;
    }

    return getAllOnLoop_ByLoop(cpNode);
}


export { getCpNodessForSat }