Home
last modified time | relevance | path

Searched refs:replaceByPower (Results 1 – 3 of 3) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Drandschr.h16 extern void replaceByPower(
H A Drandschr.c208 void replaceByPower( in replaceByPower() function
386 replaceByPower( G, finalLevel, h); in randomSchreier()
H A Dextname.h225 #define replaceByPower RepPwr macro