F4SPairSet()

F4SPairSet::F4SPairSet	(	const MonomialInfo *	MI0,
		const gb_array &	gb0 )

Definition at line 17 of file f4-spairs.cpp.

  : M(M0),
    gb(gb0),
    mSPairCompare(mSPairs),
    mSPairQueue(mSPairCompare),
    nsaved_unneeded(0),
    mMinimizePairsSeconds(0)
#if defined(WITH_TBB)
  , mScheduler(scheduler)
#endif
{
  max_varpower_size = 2 * M->n_vars() + 1;
 
  //spair *used_to_determine_size = nullptr;
  //mSPairSizeInBytes = sizeofspair(used_to_determine_size, M->max_monomial_size());
}

References M, max_varpower_size, mMinimizePairsSeconds, mSPairCompare, mSPairQueue, and mSPairs.