Changeset 8a14df in git for kernel/GBEngine/kutil.h

Timestamp:

Oct 7, 2015, 2:44:00 PM (9 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

5d9204728b9fa909f073b21e83c172b0b49dc2e2

Parents:

b4fbb84ad318878fabdaa4dbc73d6d1fcea0a9e8

Message:

add: enterT_strong, used ine enteronestrongpair

File:

• kernel/GBEngine/kutil.h (modified) (1 diff)

kernel/GBEngine/kutil.h

@@ -530 +530 @@
 void enterSyz (LObject &p,kStrategy strat, int atT);
 void enterT (LObject &p,kStrategy strat, int atT = -1);
+void enterT_strong (LObject &p,kStrategy strat, int atT = -1);
 void cancelunit (LObject* p,BOOLEAN inNF=FALSE);
 void HEckeTest (poly pp,kStrategy strat);