text_out()

void NCResComputation::text_out ( buffer & o ) const

inlineprotectedvirtual

Implements ResolutionComputation.

Definition at line 126 of file nc-res-computation.hpp.

                                 {
    o << "Noncommutative resolution";
  }