text_out()

virtual void ResolutionComputation::text_out ( buffer & o ) const

pure virtual

Reimplemented from Computation.

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