Try our new documentation site (beta).
GRBEnv.dispose()
Release the resources associated with a GRBEnv object. While
the Java garbage collector will eventually reclaim these resources, we
recommend that you call the dispose method when you are done
using an environment if your program creates more than one.
The dispose method on a GRBEnv should be called only
after you have called dispose on all of the models that were
created within that environment. You should not attempt to use a
GRBEnv object after calling dispose.
| void | dispose ( ) |
