Searched refs:geowaptr (Results 1 – 3 of 3) sorted by relevance
537 if (geowaptr->alphabet->type != IDENTIFIERS) { in fsa_checkgeowa_short()557 fsa_set_is_accepting(geowaptr); in fsa_checkgeowa_short()564 ngens = geowaptr->alphabet->size; in fsa_checkgeowa_short()575 watable = geowaptr->table->table_data_ptr; in fsa_checkgeowa_short()580 ht_ptr[0] = geowaptr->initial[1]; in fsa_checkgeowa_short()581 ht_ptr[1] = geowaptr->initial[1]; in fsa_checkgeowa_short()740 fsa_set_is_accepting(geowaptr); in fsa_checkgeowa_int()747 ngens = geowaptr->alphabet->size; in fsa_checkgeowa_int()758 watable = geowaptr->table->table_data_ptr; in fsa_checkgeowa_int()763 ht_ptr[0] = geowaptr->initial[1]; in fsa_checkgeowa_int()[all …]
126 int fsa_checkgeowa(fsa *geowaptr, fsa *diffptr, reduction_equation *eqnptr,
270 if (geowaptr == 0) in main()274 geowaptr->states->size); in main()283 if (fsa_minimize(geowaptr) == -1) in main()287 geowaptr->states->size); in main()291 fsa_print(wfile, geowaptr, fsaname); in main()293 fsa_clear(geowaptr); in main()310 geowaptr->states->size); in main()311 fsa_clear(geowaptr); in main()316 fsa_clear(geowaptr); in main()320 tfree(geowaptr); in main()[all …]