dispose abstract method

void dispose()

Disposes resources used by this evaluator.

Should be called when the evaluator is no longer needed.

Implementation

void dispose();