public static void SetPNSbyScore(NodeTree current) { if (current.endOfGame()) { if (current.isMaximizing) { current.pns = PNS.PROVEN; return; } else { current.pns = PNS.DISPROVEN; return; } } else { int parentScore = current.parent == null ? 0 : current.parent.nodeScore; if (current.nodeScore - parentScore > 0) { //current.pns = PNS.PROVEN; } else { current.pns = PNS.DISPROVEN; } } //current.pns = PNS.UNKNOWN; }