Searched refs:nkReadToken (Results 1 – 8 of 8) sorted by relevance
/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/ |
H A D | readgrp.c | 352 token = nkReadToken(); in readPermGroup() 358 if ( (token = nkReadToken() , token.type != colon) || in readPermGroup() 359 (token = nkReadToken() , token.type != identifier || in readPermGroup() 361 (token = nkReadToken() , token.type != identifier || in readPermGroup() 363 (token = nkReadToken() , token.type != leftParen) || in readPermGroup() 364 (token = nkReadToken() , token.type != integer || in readPermGroup() 368 (token = nkReadToken() , token.type != semicolon) ) in readPermGroup() 380 token = nkReadToken(); in readPermGroup() 385 (token = nkReadToken() , token.type != period) || in readPermGroup() 392 (token = nkReadToken() , token.type == colon) ) { in readPermGroup() [all …]
|
H A D | readper.c | 72 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in readPermutation() 73 (token = nkReadToken() , token.type == equal) ) in readPermutation()
|
H A D | readpts.c | 70 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in readPointSet() 71 (token = nkReadToken() , token.type == equal) ) in readPointSet()
|
H A D | readpar.c | 69 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in readPartition() 70 (token = nkReadToken() , token.type == equal) ) in readPartition()
|
H A D | token.h | 19 extern Token nkReadToken(void)
|
H A D | readdes.c | 81 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in readDesign() 82 (token = nkReadToken() , token.type == equal) ) in readDesign() 251 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in read01Matrix() 252 (token = nkReadToken() , token.type == equal) ) in read01Matrix()
|
H A D | token.c | 188 Token nkReadToken(void) in nkReadToken() function
|
H A D | extname.h | 181 #define nkReadToken NkRedT macro
|