Home
last modified time | relevance | path

Searched refs:fsaptr2 (Results 1 – 4 of 4) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/standalone/lib/
H A Dfsalogic.c261 if (fsaptr2->flags[RWS]) in fsa_binop()
262 fsa_clear_rws(fsaptr2); in fsa_binop()
270 fsa_clear(fsaptr2); in fsa_binop()
288 fsa_clear(fsaptr2); in fsa_binop()
322 fsa_clear(fsaptr2); in fsa_binop()
454 fsa_clear(fsaptr2); in fsa_binop()
723 if (fsaptr2->flags[RWS]) in fsa_concat()
724 fsa_clear_rws(fsaptr2); in fsa_concat()
731 fsa_clear(fsaptr2); in fsa_concat()
740 fsa_clear(fsaptr2); in fsa_concat()
[all …]
H A Dfsasubmult.c302 if (!fsaptr1->flags[DFA] || !fsaptr2->flags[DFA]) { in words_and_not()
314 fsaptr2->states->size >= MAXUSHORT) { in words_and_not()
322 if (fsaptr2->flags[RWS]) in words_and_not()
323 fsa_clear_rws(fsaptr2); in words_and_not()
335 fsa_set_is_accepting(fsaptr2); in words_and_not()
337 table2 = fsaptr2->table->table_data_ptr; in words_and_not()
340 dense_ip2 = fsaptr2->table->table_type == DENSE; in words_and_not()
342 dr2 = fsaptr2->table->denserows; in words_and_not()
347 ht_ptr[1] = fsaptr2->initial[1]; in words_and_not()
386 !fsaptr2->is_accepting[ht_ptr[1]]) { in words_and_not()
[all …]
H A Dfsa.h227 extern fsa *fsa_and_not(fsa *fsaptr1, fsa *fsaptr2, storage_type op_table_type,
229 extern fsa *fsa_and(fsa *fsaptr1, fsa *fsaptr2, storage_type op_table_type,
231 extern fsa *fsa_concat(fsa *fsaptr1, fsa *fsaptr2, boolean destroy);
234 extern fsa *fsa_laband(fsa *fsaptr1, fsa *fsaptr2, storage_type op_table_type,
237 extern fsa *fsa_or(fsa *fsaptr1, fsa *fsaptr2, storage_type op_table_type,
278 extern boolean fsa_equal(fsa *fsaptr1, fsa *fsaptr2);
295 extern void fsa_copy(fsa *fsaptr1, fsa *fsaptr2);
305 extern int words_and_not(fsa *fsaptr1, fsa *fsaptr2, gen **words, int maxwords);
H A Dfsa.c416 void fsa_copy(fsa *fsaptr1, fsa *fsaptr2) in fsa_copy() argument
420 srec_copy(fsaptr1->alphabet, fsaptr2->alphabet); in fsa_copy()
421 srec_copy(fsaptr1->states, fsaptr2->states); in fsa_copy()
425 fsaptr1->num_initial = fsaptr2->num_initial; in fsa_copy()
428 fsaptr1->initial[i] = fsaptr2->initial[i]; in fsa_copy()
430 fsaptr1->num_accepting = fsaptr2->num_accepting; in fsa_copy()
434 fsaptr1->accepting[i] = fsaptr2->accepting[i]; in fsa_copy()
438 fsaptr1->flags[i] = fsaptr2->flags[i]; in fsa_copy()
440 table_copy(fsaptr1->table, fsaptr2->table, ne, ns); in fsa_copy()