public void SetSymbolCount(int index, int symbol, int newValue)
{
if (symbol == 0)
{
this.Nodes[index].NumberOf0S = newValue;
}
else if (symbol == 1)
{
this.Nodes[index].NumberOf1S = newValue;
}
else
{
Console.WriteLine("bad value: {0}", symbol);
Debug.Assert(false, "trying to set symbol other than 0/1");
}
}