Definition at line 261 of file query.c.
Definition at line 262 of file query.c.
Referenced by state_predecessor_map_new().