Implements ResolutionComputation.
Definition at line 298 of file res-a2.hpp.
References free_module().