Home
last modified time | relevance | path

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

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dnew.h57 extern Word *newTrivialWord( void)
H A Drandgrp.c71 Word *w = newTrivialWord(); in randGroupWord()
H A Dextname.h178 #define newTrivialWord NewTW macro
H A Dnew.c362 Word *newTrivialWord( void) in newTrivialWord() function