complete_thru_degree()

virtual int ResolutionComputation::complete_thru_degree ( ) const

pure virtual

Implements Computation.

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