Home
last modified time | relevance | path

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

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dstcs.h32 unsigned long prodOrderBounded(
82 extern unsigned long prodOrderBounded(
H A Dextname.h197 #define prodOrderBounded PrOrdB macro
H A Dstcs.c79 unsigned long prodOrderBounded(
220 if ( (pOrder = prodOrderBounded( gen, gen1, in schreierToddCoxeterSims()
967 unsigned long prodOrderBounded( in prodOrderBounded() function