void transition_delete (transition_t*);
lr1_t* lr1_new (nextcb, gpointer);
void lr1_delete (lr1_t*);
-void lr1_add (lr1_t*, gint, symbol_t*, transition_t*);
+gboolean lr1_add (lr1_t*, gint, symbol_t*, transition_t*);
void lr1_push (lr1_t*, gint, gpointer);
gpointer lr1_build (lr1_t*);