Home
last modified time | relevance | path

Searched refs:reduceGenOrder (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.c289 if ( rOptions.reduceGenOrder == UNKNOWN ) in randomSchreier()
290 rOptions.reduceGenOrder = TRUE; in randomSchreier()
385 if ( rOptions.reduceGenOrder ) in randomSchreier()
H A Dgenerate.c228 rOptions.reduceGenOrder = TRUE; in main()
288 rOptions.reduceGenOrder = FALSE; in main()
H A Dgroup.h451 BOOLEAN reduceGenOrder; member