Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/INOUT/
H A Dcio_scanner.c32 static TokenRepCell token_print_rep[] = variable
737 for(i=0; token_print_rep[i].rep; i++) in DescribeToken()
739 if(tok & token_print_rep[i].key) in DescribeToken()
742 DStrAppendStr(res, token_print_rep[i].rep); in DescribeToken()
748 DStrAppendStr(res, token_print_rep[0].rep); in DescribeToken()