Home
last modified time | relevance | path

Searched refs:state_next (Results 1 – 25 of 43) sorted by relevance

12

/dports/math/yices/yices-2.6.2/tests/regress/mantis/
H A D0034.b.ys101 …state_next.source| 4) |state_next.good_p!3| (ite (= |state_next.source| 3) |state_next.good_p!2| (…
112 …state_next.source| 4) |state_next.good_p!3| (ite (= |state_next.source| 3) |state_next.good_p!2| (…
120 …state_next.source| 4) |state_next.good_p!3| (ite (= |state_next.source| 3) |state_next.good_p!2| (…
126 (assert (not (not (and (not |state_next.good_p!2|) (not |state_next.good_p!3|)))))
142 …state_next.good_r!2| |state_next.good_p!2| (not |state_next.good_r!0|) (not |state_next.good_p!3|)…
150 …state_next.good_r!2| |state_next.good_p!2| (not |state_next.good_r!0|) (not |state_next.good_p!3|)…
158 …state_next.good_r!2| |state_next.good_p!2| (not |state_next.good_r!0|) (not |state_next.good_p!3|)…
166 …state_next.good_r!2| |state_next.good_p!2| (not |state_next.good_r!0|) (not |state_next.good_p!3|)…
174 …state_next.good_r!2| |state_next.good_p!2| (not |state_next.good_r!0|) (not |state_next.good_p!3|)…
179 (assert (= |state_next.cy!1!0| |state_next.cy!1!1|))
[all …]
/dports/cad/ghdl/ghdl-1.0.0/testsuite/gna/perf02-long/
H A Dfsm_163.vhd747 state_cur <= state_next;
943 state_next(91) <= (reset /= '1') and ( state_cur(337) );
945 state_next(93) <= (reset /= '1') and ( state_cur(339) );
947 state_next(95) <= (reset /= '1') and ( state_cur(334) );
948 state_next(96) <= (reset /= '1') and ( state_cur(333) );
950 state_next(98) <= (reset /= '1') and ( state_cur(228) );
954 state_next(102) <= (reset /= '1') and ( state_cur(98) );
959 state_next(107) <= (reset /= '1') and ( rtmcmp276 );
1038 state_next(186) <= (reset /= '1') and ( rtmcmp290 );
1155 state_next(303) <= (reset /= '1') and ( rtmcmp128 );
[all …]
/dports/cad/ghdl/ghdl-1.0.0/testsuite/gna/bug040/
H A Dfsm_224.vhd1060 state_cur <= state_next;
1328 state_next(1) <= (not reset) and ( state_cur(385) );
1331 state_next(4) <= (not reset) and ( state_cur(377) );
1336 state_next(9) <= (not reset) and ( state_cur(327) );
1385 state_next(58) <= (not reset) and ( state_cur(56) );
1417 state_next(90) <= (not reset) and ( state_cur(89) );
1420 state_next(93) <= (not reset) and ( state_cur(99) );
1421 state_next(94) <= (not reset) and ( state_cur(93) );
1471 state_next(144) <= (not reset) and ( state_cur(9) );
1679 state_next(352) <= (not reset) and ( state_cur(1) );
[all …]
/dports/cad/ghdl/ghdl-1.0.0/testsuite/gna/issue50/vector.d/
H A Dfsm_15.vhd96 state_cur <= state_next;
176 state_next(17) <= '1';
184 state_next(4) <= '1';
206 state_next(1) <= '1';
215 state_next(4) <= '1';
227 state_next(1) <= '1';
237 state_next(3) <= '1';
260 state_next(3) <= '1';
329 state_next(14) <= '1';
369 state_next(9) <= '1';
[all …]
/dports/cad/ghdl/ghdl-1.0.0/testsuite/gna/issue50/idct.d/
H A Dfsm_23.vhd1292 state_next(1) <= '1';
1308 state_next(1) <= '1';
1317 state_next(0) <= '1';
1328 state_next(3) <= '1';
1340 state_next(4) <= '1';
1352 state_next(5) <= '1';
1366 state_next(7) <= '1';
1384 state_next(6) <= '1';
1396 state_next(9) <= '1';
1403 state_next(8) <= '1';
[all …]
/dports/comms/uhd/uhd-90ce6062b6b5df2eddeee723777be85108e4e7c7/fpga/usrp3/lib/control/map/
H A Dcam_srl.v68 reg [1:0] state_reg = STATE_INIT, state_next; register
142 state_next = STATE_IDLE;
158 state_next = STATE_IDLE;
161 state_next = STATE_INIT;
172 state_next = STATE_WRITE;
175 state_next = STATE_IDLE;
187 state_next = STATE_IDLE;
190 state_next = STATE_WRITE;
199 state_next = STATE_IDLE;
202 state_next = STATE_DELETE;
[all …]
H A Dcam_bram.v70 reg [2:0] state_reg = STATE_INIT, state_next; register
173 state_next = STATE_IDLE;
196 state_next = STATE_IDLE;
199 state_next = STATE_INIT;
212 state_next = STATE_IDLE;
217 state_next = STATE_DELETE_2;
224 state_next = STATE_IDLE;
227 state_next = STATE_WRITE_1;
232 state_next = STATE_WRITE_2;
238 state_next = STATE_IDLE;
[all …]
/dports/biology/sra-tools/sra-tools-2.11.0/ncbi-vdb/libs/ngs/
H A DCSRA1_PileupEvent.c676 entry -> state_next . mismatch = 0; in CSRA1_PileupEventEntryFocus()
682 …assert ( ref_zpos_adj + plus_end_pos > entry -> state_next . zstart_adj || entry -> state_next . z… in CSRA1_PileupEventEntryFocus()
690 if ( entry -> state_next . del_cnt != 0 ) in CSRA1_PileupEventEntryFocus()
691 -- entry -> state_next . del_cnt; in CSRA1_PileupEventEntryFocus()
732 … entry -> state_next . mismatch_idx += HAS_MISMATCH [ entry -> state_next . seq_idx + i ]; in CSRA1_PileupEventEntryFocus()
763 … entry -> state_next . del_cnt += REF_OFFSET [ entry -> state_next . ref_off_idx ]; in CSRA1_PileupEventEntryFocus()
774 ++ entry -> state_next . zstart_adj; in CSRA1_PileupEventEntryFocus()
811 …uint32_t i, end = entry -> state_next . seq_idx - REF_OFFSET [ entry -> state_next . ref_off_idx +… in CSRA1_PileupEventEntryInit()
825 …if ( HAS_REF_OFFSET [ entry -> state_next . seq_idx ] && REF_OFFSET [ entry -> state_next . ref_of… in CSRA1_PileupEventEntryInit()
826 … entry -> state_next . del_cnt = REF_OFFSET [ entry -> state_next . ref_off_idx ]; in CSRA1_PileupEventEntryInit()
[all …]
/dports/biology/ncbi-vdb/ncbi-vdb-2.11.0/libs/ngs/
H A DCSRA1_PileupEvent.c676 entry -> state_next . mismatch = 0; in CSRA1_PileupEventEntryFocus()
682 …assert ( ref_zpos_adj + plus_end_pos > entry -> state_next . zstart_adj || entry -> state_next . z… in CSRA1_PileupEventEntryFocus()
690 if ( entry -> state_next . del_cnt != 0 ) in CSRA1_PileupEventEntryFocus()
691 -- entry -> state_next . del_cnt; in CSRA1_PileupEventEntryFocus()
732 … entry -> state_next . mismatch_idx += HAS_MISMATCH [ entry -> state_next . seq_idx + i ]; in CSRA1_PileupEventEntryFocus()
763 … entry -> state_next . del_cnt += REF_OFFSET [ entry -> state_next . ref_off_idx ]; in CSRA1_PileupEventEntryFocus()
774 ++ entry -> state_next . zstart_adj; in CSRA1_PileupEventEntryFocus()
811 …uint32_t i, end = entry -> state_next . seq_idx - REF_OFFSET [ entry -> state_next . ref_off_idx +… in CSRA1_PileupEventEntryInit()
825 …if ( HAS_REF_OFFSET [ entry -> state_next . seq_idx ] && REF_OFFSET [ entry -> state_next . ref_of… in CSRA1_PileupEventEntryInit()
826 … entry -> state_next . del_cnt = REF_OFFSET [ entry -> state_next . ref_off_idx ]; in CSRA1_PileupEventEntryInit()
[all …]
/dports/comms/uhd/uhd-90ce6062b6b5df2eddeee723777be85108e4e7c7/firmware/e300/battery/
H A Dled.c42 static enum led_state state_next; variable
66 state_next = color; in led_set_solid()
73 state_next = color; in led_set_blink()
143 state = state_next; in led_wdt_handler()
148 state = state_next; in led_wdt_handler()
/dports/devel/godot/godot-3.2.3-stable/thirdparty/opus/silk/fixed/mips/
H A Dprefilter_FIX_mipsr1.h52 opus_int32 state_cur, state_next; in silk_warped_LPC_analysis_filter_FIX() local
68 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
74 tmp4 = silk_SMLAWB( state_cur, state_next, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
77 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
90 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
95 tmp4 = silk_SMLAWB( state_cur, state_next - tmp3, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
99 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/opus/src/silk/fixed/mips/
H A Dprefilter_FIX_mipsr1.h52 opus_int32 state_cur, state_next; in silk_warped_LPC_analysis_filter_FIX() local
68 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
74 tmp4 = silk_SMLAWB( state_cur, state_next, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
77 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
90 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
95 tmp4 = silk_SMLAWB( state_cur, state_next - tmp3, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
99 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
/dports/devel/godot-tools/godot-3.2.3-stable/thirdparty/opus/silk/fixed/mips/
H A Dprefilter_FIX_mipsr1.h52 opus_int32 state_cur, state_next; in silk_warped_LPC_analysis_filter_FIX() local
68 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
74 tmp4 = silk_SMLAWB( state_cur, state_next, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
77 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
90 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
95 tmp4 = silk_SMLAWB( state_cur, state_next - tmp3, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
99 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
/dports/devel/godot2-tools/godot-2.1.6-stable/thirdparty/opus/silk/fixed/mips/
H A Dprefilter_FIX_mipsr1.h52 opus_int32 state_cur, state_next; in silk_warped_LPC_analysis_filter_FIX() local
68 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
74 tmp4 = silk_SMLAWB( state_cur, state_next, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
77 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
90 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
95 tmp4 = silk_SMLAWB( state_cur, state_next - tmp3, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
99 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
/dports/devel/godot2/godot-2.1.6-stable/thirdparty/opus/silk/fixed/mips/
H A Dprefilter_FIX_mipsr1.h52 opus_int32 state_cur, state_next; in silk_warped_LPC_analysis_filter_FIX() local
68 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
74 tmp4 = silk_SMLAWB( state_cur, state_next, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
77 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
90 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
95 tmp4 = silk_SMLAWB( state_cur, state_next - tmp3, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
99 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
/dports/www/firefox-legacy/firefox-52.8.0esr/media/libopus/silk/fixed/mips/
H A Dprefilter_FIX_mipsr1.h52 opus_int32 state_cur, state_next; in silk_warped_LPC_analysis_filter_FIX() local
68 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
74 tmp4 = silk_SMLAWB( state_cur, state_next, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
77 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
90 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
95 tmp4 = silk_SMLAWB( state_cur, state_next - tmp3, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
99 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/opus/src/silk/fixed/mips/
H A Dprefilter_FIX_mipsr1.h52 opus_int32 state_cur, state_next; in silk_warped_LPC_analysis_filter_FIX() local
68 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
74 tmp4 = silk_SMLAWB( state_cur, state_next, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
77 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
90 state_next = tmp2; in silk_warped_LPC_analysis_filter_FIX()
95 tmp4 = silk_SMLAWB( state_cur, state_next - tmp3, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
99 tmp3 = silk_SMLAWB( state_next, tmp1 - tmp4, lambda_Q16 ); in silk_warped_LPC_analysis_filter_FIX()
/dports/emulators/tme/tme-0.8/libtme/
H A Dthreads-sjlj.c80 struct tme_sjlj_thread *state_next; member
270 ? (thread->state_next == tme_sjlj_thread_active) in _tme_sjlj_change_state()
278 thread_next = thread->state_next; in _tme_sjlj_change_state()
286 thread->state_next = NULL; in _tme_sjlj_change_state()
326 thread->state_next = thread_next; in _tme_sjlj_change_state()
516 for (;; thread = thread->state_next) { in tme_sjlj_dispatch()
517 if (thread->state_next == NULL) { in tme_sjlj_dispatch()
518 thread->state_next = thread_other; in tme_sjlj_dispatch()
520 thread_other->state_prev = &thread->state_next; in tme_sjlj_dispatch()
862 thread->state_next = NULL; in tme_sjlj_thread_create()
[all …]
/dports/devel/libcutl/libcutl-1.10.0/cutl/xml/
H A Dparser.hxx131 if (state_ == state_next) in next()
158 state_ = state_next; in next()
289 assert (state_ == state_next); in content()
300 assert (state_ == state_next); in content()
341 enum {state_next, state_peek} state_; enumerator
/dports/devel/xsd/xsd-4.1.0.a11+dep/libcutl/cutl/xml/
H A Dparser.hxx131 if (state_ == state_next) in next()
158 state_ = state_next; in next()
289 assert (state_ == state_next); in content()
300 assert (state_ == state_next); in content()
341 enum {state_next, state_peek} state_; enumerator
/dports/devel/R-cran-fansi/fansi/src/
H A Dstate.c283 struct FANSI_state state_next, state_next_prev, state_next_prev_prev; in FANSI_state_at_position() local
286 state_next = FANSI_read_next(state_next_prev); in FANSI_state_at_position()
308 while(!state_next.last_char_width) { in FANSI_state_at_position()
316 state_next_prev = state_next; in FANSI_state_at_position()
317 state_next = FANSI_read_next(state_next); in FANSI_state_at_position()
318 if(!state_next.string[state_next.pos_byte]) break; in FANSI_state_at_position()
H A Dwrap.c350 struct FANSI_state state_next; in strwrap() local
356 state_next = state; in strwrap()
358 state_next = FANSI_read_next(state); in strwrap()
360 state.warn = state_bound.warn = state_next.warn; // avoid double warning in strwrap()
396 state_next.pos_width > state.pos_width in strwrap()
484 state = state_next; in strwrap()
/dports/devel/poco/poco-1.10.1-all/XML/include/Poco/XML/
H A DXMLStreamParser.h297 enum { state_next, state_peek } _parserState; enumerator
573 poco_assert(_parserState == state_next); in content()
584 poco_assert(_parserState == state_next); in content()
/dports/textproc/xlnt/libstudxml-e729667/libstudxml/
H A Dparser.ixx195 assert (state_ == state_next);
206 assert (state_ == state_next);
H A Dparser.cxx62 state_ = state_next; in init()
183 if (state_ == state_next) in next()
210 state_ = state_next; in next()

12