| /dports/math/z3/z3-z3-4.8.13/src/math/automata/ |
| H A D | symbolic_automata.h | 30 typedef automaton<T, M> automaton_t; typedef
32 typedef typename automaton_t::move move_t;
98 automaton_t* mk_determinstic(automaton_t& a);
99 automaton_t* mk_complement(automaton_t& a);
100 automaton_t* remove_epsilons(automaton_t& a);
101 automaton_t* mk_total(automaton_t& a);
102 automaton_t* mk_minimize(automaton_t& a);
103 automaton_t* mk_minimize_total(automaton_t& a);
104 automaton_t* mk_difference(automaton_t& a, automaton_t& b);
105 automaton_t* mk_product(automaton_t& a, automaton_t& b);
[all …]
|
| H A D | symbolic_automata_def.h | 32 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_total(automaton_t& a) { in mk_total()
63 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minimize(automaton_t& a)… in mk_minimize()
73 scoped_ptr<automaton_t> fa = mk_total(a); in mk_minimize()
104 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minimize_total(automaton… in mk_minimize_total()
277 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_determinstic(automaton_t… in mk_determinstic()
282 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_complement(automaton_t& … in mk_complement()
364 return alloc(automaton_t, m); in mk_determinstic_param()
373 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_product(automaton_t& a, … in mk_product()
434 return alloc(automaton_t, m); in mk_product()
476 return alloc(automaton_t, m); in mk_product()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/automata/ |
| H A D | symbolic_automata.h | 30 typedef automaton<T, M> automaton_t; typedef
32 typedef typename automaton_t::move move_t;
98 automaton_t* mk_determinstic(automaton_t& a);
99 automaton_t* mk_complement(automaton_t& a);
100 automaton_t* remove_epsilons(automaton_t& a);
101 automaton_t* mk_total(automaton_t& a);
102 automaton_t* mk_minimize(automaton_t& a);
103 automaton_t* mk_minimize_total(automaton_t& a);
104 automaton_t* mk_difference(automaton_t& a, automaton_t& b);
105 automaton_t* mk_product(automaton_t& a, automaton_t& b);
[all …]
|
| H A D | symbolic_automata_def.h | 32 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_total(automaton_t& a) { in mk_total()
63 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minimize(automaton_t& a)… in mk_minimize()
73 scoped_ptr<automaton_t> fa = mk_total(a); in mk_minimize()
104 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minimize_total(automaton… in mk_minimize_total()
277 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_determinstic(automaton_t… in mk_determinstic()
282 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_complement(automaton_t& … in mk_complement()
364 return alloc(automaton_t, m); in mk_determinstic_param()
373 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_product(automaton_t& a, … in mk_product()
434 return alloc(automaton_t, m); in mk_product()
476 return alloc(automaton_t, m); in mk_product()
[all …]
|
| /dports/devel/tigcc/tigcc-0.96.b8_10/gnu/gcc-4.1-20060728/gcc/ |
| H A D | genautomata.c | 378 automaton_t);
459 void (*) (FILE *, automaton_t), void (*) (FILE *, automaton_t),
1092 automaton_t automaton;
1275 automaton_t automaton;
1284 automaton_t automaton;
7165 automaton_t automaton; in output_dfa_max_issue_rate()
7487 automaton_t automaton; in output_chip_definitions()
8196 automaton_t automaton; in output_tables()
8303 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8574 automaton_t automaton; in output_automata_list_state_alts_code()
[all …]
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ |
| H A D | genautomata.c | 377 automaton_t);
458 void (*) (FILE *, automaton_t), void (*) (FILE *, automaton_t),
1091 automaton_t automaton;
1274 automaton_t automaton;
1283 automaton_t automaton;
7093 automaton_t automaton; in output_dfa_max_issue_rate()
7416 automaton_t automaton; in output_chip_definitions()
8080 automaton_t automaton; in output_tables()
8188 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8459 automaton_t automaton; in output_automata_list_state_alts_code()
[all …]
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ |
| H A D | genautomata.c | 377 automaton_t);
458 void (*) (FILE *, automaton_t), void (*) (FILE *, automaton_t),
1091 automaton_t automaton;
1274 automaton_t automaton;
1283 automaton_t automaton;
7093 automaton_t automaton; in output_dfa_max_issue_rate()
7416 automaton_t automaton; in output_chip_definitions()
8080 automaton_t automaton; in output_tables()
8188 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8459 automaton_t automaton; in output_automata_list_state_alts_code()
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
| H A D | genautomata.c | 683 automaton_t automaton;
859 automaton_t automaton;
868 automaton_t automaton;
7164 automaton_t automaton; in output_chip_definitions()
7833 automaton_t automaton; in output_tables()
7932 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8232 automaton_t automaton; in output_internal_dead_lock_func()
8651 automaton_t automaton; in output_cpu_unit_reservation_p()
9065 automaton_t automaton; in output_automaton_descriptions()
9089 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8238 automaton_t automaton; in output_internal_dead_lock_func()
8679 automaton_t automaton; in output_cpu_unit_reservation_p()
9093 automaton_t automaton; in output_automaton_descriptions()
9117 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/ |
| H A D | genautomata.c | 683 automaton_t automaton;
859 automaton_t automaton;
868 automaton_t automaton;
7173 automaton_t automaton; in output_chip_definitions()
7842 automaton_t automaton; in output_tables()
7941 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8241 automaton_t automaton; in output_internal_dead_lock_func()
8660 automaton_t automaton; in output_cpu_unit_reservation_p()
9074 automaton_t automaton; in output_automaton_descriptions()
9098 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/ |
| H A D | genautomata.c | 681 automaton_t automaton;
857 automaton_t automaton;
866 automaton_t automaton;
7169 automaton_t automaton; in output_chip_definitions()
7838 automaton_t automaton; in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code()
8239 automaton_t automaton; in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p()
9068 automaton_t automaton; in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics()
[all …]
|