public final class MainRBTree extends Object implements IAutoSaveEventListener
public static void main(String[] args)
public boolean doSave()
doSave
in interface IAutoSaveEventListener
public void saveDone(int numberOfObjectState, int numberOfWeakreference, long msDuration)
IAutoSaveEventListener
saveDone
in interface IAutoSaveEventListener
Copyright © 2007-2012 Luc Peuvrier. All Rights Reserved.