complete_thru_degree()

int res_comp::complete_thru_degree ( ) const

virtual

Implements ResolutionComputation.

Definition at line 895 of file res-a1.cpp.

{ return n_degree - 1; }

References n_degree.