destroy method

void destroy()

When evaluators need to dispose of resources. By default, this does nothing.

Implementation

void destroy() {}