text_out()

void F4ResComputation::text_out ( buffer & o ) const

protectedvirtual

Implements ResolutionComputation.

Definition at line 233 of file res-f4-computation.cpp.

{
  o << "F4 resolution computation" << newline;
}

References newline.