Home
last modified time | relevance | path

Searched refs:TokenPosRep (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/INOUT/
H A Dcio_scanner.c710 char* TokenPosRep(Token_p token) in TokenPosRep() function
775 fprintf(out, "Position: %s ", TokenPosRep(token)); in PrintToken()
1061 DStrAppendStr(err, TokenPosRep(AktToken(in))); in AktTokenError()
1226 pos_rep = SecureStrdup(TokenPosRep(AktToken(in))); in ScannerParseInclude()
H A Dcio_scanner.h181 char* TokenPosRep(Token_p token);
H A Dcio_basicparser.c431 char* posrep = TokenPosRep(AktToken(in)); in AcceptDottedId()