Home
last modified time | relevance | path

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 Dfsatriples.c125 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 Dfsaminkb.c49 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 Dfsamitriples.c129 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 Dfsageopairs.c81 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 Dfsa.h248 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 Drws.h178 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 Dgpgeowa.c60 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()