Searched refs:MARKER_DIFFERENCE (Results 1 – 3 of 3) sorted by relevance
237 do{ trans1[state] = trans1[state] - MARKER_DIFFERENCE;} while(0) in epsclosure()242 do{ trans1[state] = trans1[state] + MARKER_DIFFERENCE;} while(0) in epsclosure()309 tsp = trans1[ns] + MARKER_DIFFERENCE; in epsclosure()
214 #define MARKER_DIFFERENCE (maximum_mns+2) macro
8203 * flexdef.h: do_yylineno MARKER_DIFFERENCE depends on MAXIMUM_MNS