Implements ResolutionComputation.
Definition at line 316 of file res-a0.hpp.
References minimal_free_of().