32.1.4 Precomputation and LHS terminals

On success, marpa_g_precompute() sets and locks the terminal status of every symbol. More precisely,

• let the symbol be x;
• let the terminal status of x when marpa_g_precompute() was called be v_before; and
• let the terminal status of x when marpa_g_precompute() returns success be v_after.

The effect of the successful call of marpa_g_precompute() will be as follows:

• If terminal status of x is locked when marpa_g_precompute() was called, then v_after = v_before.
• If terminal status of x is not locked, and x appears on the LHS of some rule then v_after is false.
• If terminal status of x is not locked, and x does not appear on the LHS of any rule then v_after is true.

The terminal status of all symbols is locked after a successful call to marpa_g_precompute(). See marpa_g_precompute().