Searched refs:waptr (Results 1 – 7 of 7) sorted by relevance
/dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/lib/ |
H A D | fsatriples.c | 125 if (waptr->num_accepting != waptr->states->size) { in fsa_triples_short() 161 ngens = waptr->alphabet->size; in fsa_triples_short() 191 ht_ptr[0] = waptr->initial[1]; in fsa_triples_short() 192 ht_ptr[1] = waptr->initial[1]; in fsa_triples_short() 381 fsa_clear(waptr); in fsa_triples_short() 495 fsa_clear(waptr); in fsa_triples_short() 547 if (waptr->num_accepting != waptr->states->size) { in fsa_triples_int() 583 ngens = waptr->alphabet->size; in fsa_triples_int() 613 ht_ptr[0] = waptr->initial[1]; in fsa_triples_int() 803 fsa_clear(waptr); in fsa_triples_int() [all …]
|
H A D | fsaminkb.c | 49 if (!waptr->flags[DFA]) { in fsa_minred() 61 ne = waptr->alphabet->size; in fsa_minred() 62 nsi = waptr->states->size; in fsa_minred() 68 dr = waptr->table->denserows; in fsa_minred() 81 ht_ptr[0] = waptr->initial[1]; in fsa_minred() 82 ht_ptr[1] = waptr->initial[1]; in fsa_minred() 178 tfree(waptr->is_accepting); in fsa_minred() 181 fsa_clear(waptr); in fsa_minred() 241 if (waptr->num_accepting != waptr->states->size) { in fsa_minkb() 276 ngens = waptr->alphabet->size; in fsa_minkb() [all …]
|
H A D | fsamitriples.c | 129 if (waptr->num_accepting != waptr->states->size) { in fsa_mitriples_short() 168 ngens = waptr->alphabet->size; in fsa_mitriples_short() 171 nswa1 = waptr->states->size + 1; in fsa_mitriples_short() 209 ht_ptr[0] = waptr->initial[1]; in fsa_mitriples_short() 210 ht_ptr[1] = waptr->initial[1]; in fsa_mitriples_short() 411 fsa_clear(waptr); in fsa_mitriples_short() 534 fsa_clear(waptr); in fsa_mitriples_short() 588 if (waptr->num_accepting != waptr->states->size) { in fsa_mitriples_int() 627 ngens = waptr->alphabet->size; in fsa_mitriples_int() 870 fsa_clear(waptr); in fsa_mitriples_int() [all …]
|
H A D | fsageopairs.c | 81 if (waptr->alphabet->type != IDENTIFIERS) { in fsa_geopairs_short() 85 if (waptr->num_accepting != waptr->states->size) { in fsa_geopairs_short() 120 ngens = waptr->alphabet->size; in fsa_geopairs_short() 131 watable = waptr->table->table_data_ptr; in fsa_geopairs_short() 149 ht_ptr[0] = waptr->initial[1]; in fsa_geopairs_short() 263 fsa_clear(waptr); in fsa_geopairs_short() 291 if (waptr->num_accepting != waptr->states->size) { in fsa_geopairs_int() 326 ngens = waptr->alphabet->size; in fsa_geopairs_int() 337 watable = waptr->table->table_data_ptr; in fsa_geopairs_int() 355 ht_ptr[0] = waptr->initial[1]; in fsa_geopairs_int() [all …]
|
H A D | fsa.h | 248 extern fsa *fsa_geopairs(fsa *waptr, fsa *diffptr, storage_type op_table_type, 255 extern fsa *fsa_minkb(fsa *minredptr, fsa *waptr, fsa *diffptr, 258 extern fsa *fsa_minred(fsa *waptr, storage_type op_table_type, boolean destroy,
|
H A D | rws.h | 178 fsa *fsa_triples(fsa *waptr, fsa *diffptr, storage_type op_table_type, 183 fsa *fsa_mitriples(fsa *waptr, fsa *diffptr, storage_type op_table_type,
|
/dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/src/ |
H A D | gpgeowa.c | 60 fsa temp, *waptr, *geowaptr, *geodiffptr, *tdiffptr, *gmptr, *gpp, in main() local 210 tmalloc(waptr, fsa, 1); in main() 222 fsa_read(rfile, waptr, DENSE, 0, 0, TRUE, fsaname); in main() 237 fsa_geopairs(waptr, tdiffptr, op_store2, TRUE, tempfilename, readback); in main() 349 tfree(waptr); in main()
|