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;
}