Implements ResolutionComputation.
Definition at line 210 of file res-a1.hpp.
References minimal_free_of().