rawResolutionGetFree()

const FreeModule * rawResolutionGetFree	(	Computation *	C,
		int	level )

Definition at line 563 of file groebner.cpp.

{
  try
    {
      clear_emit_size();
      ResolutionComputation *G = C->cast_to_ResolutionComputation();
      if (G != nullptr) return G->get_free(level);
      ERROR("expected resolution computation type");
      return nullptr;
  } catch (const exc::engine_error& e)
    {
      ERROR(e.what());
      return nullptr;
  }
}

References Computation::cast_to_ResolutionComputation(), clear_emit_size(), ERROR, and G.