RE: [Javabdd-devel] Memory usage??

[Sergio <ser...@ly...>]

Thank you very much for your quick answer John.

=20

According to de API documentation the method setMaxIncrease(int x) =
receives
as parameter the NUMBER of nodes by which to increase node table after a
garbage collection but it doesn=B4t work with memory.=20

How do you set it to 1 MB then? Do I have an old JaCoP version?


setMaxIncrease

public abstract int setMaxIncrease(int x)

Set maximum number of nodes by which to increase node table after a =
garbage
collection.

Compare to bdd_setmaxincrease.

Parameters:=20

x - maximum number of nodes by which to increase node table=20

Returns:=20

old value

=20

Sincerely,

=20

Sergio

=20

  _____ =20

De: John Whaley [mailto:joe...@gm...]=20
Enviado el: domingo, 22 de enero de 2006 20:39
Para: Sergio
Asunto: Re: [Javabdd-devel] Memory usage??

=20


Hello,

Thanks for the email.

=20

=20
How do we set the maximum table size increase to 1MB?


See BDDFactory.setMaxIncrease().

=20

How do we allow the table to grow only if the node table is more than =
99%
full after a garbage collection?


See BDDFactory.setMinFreeNodes().

Let me know if you have any more questions.=20


-John

=20