Searched refs:ro_is (Results 1 – 3 of 3) sorted by relevance
1917 || (o->ord_typ == ro_is) in rOrd_SetCompRequiresSetm()2058 if(r->typ[p].ord_typ != ro_is) in rDBTest()2068 else if (r->typ[j].ord_typ == ro_is) in rDBTest()2478 ord_struct.ord_typ = ro_is; in rO_ISSuffix()2842 if( res->typ[i].ord_typ == ro_is ) // Search for suffixes! in rModifyRing()3763 … (r->typ[j].ord_typ==ro_syz) || (r->typ[j].ord_typ==ro_isTemp) || (r->typ[j].ord_typ==ro_is) || in rComplete()3923 if( r->typ[i].ord_typ == ro_is) // Search for suffixes! (prefix have the same VarOffset) in rUnComplete()4139 else if (r->typ[j].ord_typ==ro_is) in rDebugPrint()4963 if( r->typ[pos].ord_typ == ro_is) in rGetISPos()
61 …ro_isTemp, ro_is, // ??Induced Syzygy (Schreyer) ordering (and prefix data placeholder dummy) (rin… enumerator
391 case ro_is: in p_Setm_General()