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