public CSnzi()
{
leafs = new CSnziLeafNode[LeafCount];
root = new CSnziRootNode();
for (int i = 0; i < leafs.Length; i++)
{
leafs[i] = new CSnziLeafNode(root);
}
}
public Tuple <bool, CSnziState> Query()
{
CSnziRootNode copy = root;
return(Tuple.Create(copy.Count > 0, copy.State));
}