Home
last modified time | relevance | path

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 Dreadgrp.c352 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 Dreadper.c72 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in readPermutation()
73 (token = nkReadToken() , token.type == equal) ) in readPermutation()
H A Dreadpts.c70 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in readPointSet()
71 (token = nkReadToken() , token.type == equal) ) in readPointSet()
H A Dreadpar.c69 if ( (token = nkReadToken() , saveToken = token , token.type == identifier) && in readPartition()
70 (token = nkReadToken() , token.type == equal) ) in readPartition()
H A Dtoken.h19 extern Token nkReadToken(void)
H A Dreaddes.c81 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 Dtoken.c188 Token nkReadToken(void) in nkReadToken() function
H A Dextname.h181 #define nkReadToken NkRedT macro