Searched refs:myGetBuchbergerOpType (Results 1 – 4 of 4) sorted by relevance
104 BuchbergerOpTypeFlag myGetBuchbergerOpType() const{return myBuchbergerOpType;}; in myGetBuchbergerOpType() function
1005 CoCoA_ASSERT(myGetBuchbergerOpType() == SaturatingAlg); in myDoGBasisSelfSatCore()