_abox.validate();
_abox.validate();
_abox.printTree(); _abox.validate();
_abox.printTree(); _abox.validate();
+ ", Size: " + _abox.getNodes().size()// + ", Mem: " + Runtime.getRuntime().freeMemory() / 1000 + "kb"); _abox.validate();
+ ", Size: " + _abox.getNodes().size()// + ", Mem: " + Runtime.getRuntime().freeMemory() / 1000 + "kb"); _abox.validate();
_abox.validate(); printBlocked(); _abox.printTree();
_abox.validate();
_abox.validate();
_abox.validate(); printBlocked(); _abox.printTree();