add()

virtual void SumCollectorFreeAlgebraHeap::add ( ring_elem f1 )

inlinevirtual

Implements SumCollector.

Definition at line 394 of file FreeAlgebra.hpp.

  {
    auto f = reinterpret_cast<const Poly*>(f1.get_Poly());
    H.add(*f);
  }

References ring_elem::get_Poly(), and H.