visitFunc method
Implementation
void visitFunc(SplitSolverNode node, List<Body?> bds, List<Equation> eqs) {
bds.add(node.body);
final neqs = node.eqs.length;
for (int i = 0; i != neqs; i++) {
final eq = node.eqs[i];
if (!eqs.contains(eq)) {
eqs.add(eq);
}
}
}