getUnvisitedNode method
Implementation
SplitSolverNode? getUnvisitedNode(List<SplitSolverNode> nodes){
int nNodes = nodes.length;
for (int i = 0; i != nNodes; i++) {
final node = nodes[i];
if (!node.visited && node.body?.type != BodyTypes.static) {
return node;
}
}
return null;
}