get_free()

virtual const FreeModule * ResolutionComputation::get_free ( int level )

pure virtual

Implemented in F4ResComputation, gbres_comp, NCResComputation, res2_comp, and res_comp.