get_free()

const FreeModule * res2_comp::get_free ( int level )

inlinevirtual

Implements ResolutionComputation.

Definition at line 316 of file res-a0.hpp.

  {
    return minimal_free_of(level);
  }

References minimal_free_of().