Home
last modified time | relevance | path

Searched refs:informNewGenerator (Results 1 – 4 of 4) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dinform.h32 extern void informNewGenerator(
H A Dinform.c224 void informNewGenerator( in informNewGenerator() function
H A Dextname.h114 #define informNewGenerator InfNG macro
H A Dcompsg.c475 informNewGenerator( K, firstMoved ); in computeSubgroup()