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 D | fsalogic.c | 261 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 D | fsasubmult.c | 302 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 D | fsa.h | 227 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 D | fsa.c | 416 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()
|