Home
last modified time | relevance | path

Searched refs:ThData (Results 1 – 25 of 34) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifTest.c239 Par_ThData_t ThData[PAR_THR_MAX];
257 ThData[i].p = p;
258 ThData[i].Id = -1;
259 ThData[i].Status = 0;
266 if ( ThData[i].Status )
269 if ( ThData[i].Id >= 0 )
279 ThData[i].Id = -1;
284 ThData[i].Status = 1;
299 if ( ThData[i].Status )
307 ThData[i].Id = -1;
[all …]
H A DifDsd.c2662 Ifn_ThData_t ThData[PAR_THR_MAX]; in Id_DsdManTuneStr() local
2683 if ( ThData[i].Status ) in Id_DsdManTuneStr()
2686 if ( ThData[i].Id >= 0 ) in Id_DsdManTuneStr()
2689 assert( ThData[i].Result == 0 || ThData[i].Result == 1 ); in Id_DsdManTuneStr()
2697 ThData[i].Id = -1; in Id_DsdManTuneStr()
2698 ThData[i].Result = -1; in Id_DsdManTuneStr()
2712 ThData[i].Id = k; in Id_DsdManTuneStr()
2722 if ( ThData[i].Status == 1 || (ThData[i].Status == 0 && ThData[i].Id >= 0) ) in Id_DsdManTuneStr()
2730 ThData[i].Id = -1; in Id_DsdManTuneStr()
2731 ThData[i].Status = 1; in Id_DsdManTuneStr()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSplit.c620 ThData[i].iThread = i;
622 ThData[i].fWorking = 0;
623 ThData[i].Result = -1;
624 ThData[i].nVars = -1;
625 ThData[i].nConfs = -1;
648 …Cec_GiaSplitPrint( i+1, Depth, ThData[i].nVars, ThData[i].nConfs, ThData[i].Result, Progress, Abc_…
696 ThData[i].pCnf = Cec_GiaDeriveGiaRemapped( ThData[i].p );
707 if ( ThData[i].fWorking )
718 ThData[i].pCnf = NULL;
720 ThData[i].p = NULL;
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/
H A DcmdAuto.c165 ThData[i].pGia = NULL; in Cmd_RunAutoTunerEval()
166 ThData[i].pOpts = pOpts; in Cmd_RunAutoTunerEval()
167 ThData[i].iThread = i; in Cmd_RunAutoTunerEval()
168 ThData[i].nTimeOut = -1; in Cmd_RunAutoTunerEval()
169 ThData[i].fWorking = 0; in Cmd_RunAutoTunerEval()
170 ThData[i].Result = -1; in Cmd_RunAutoTunerEval()
181 if ( ThData[i].fWorking ) in Cmd_RunAutoTunerEval()
191 ThData[i].pGia = NULL; in Cmd_RunAutoTunerEval()
198 ThData[i].fWorking = 1; in Cmd_RunAutoTunerEval()
207 ThData[i].pGia = NULL; in Cmd_RunAutoTunerEval()
[all …]
/dports/databases/libgda5/libgda-5.2.10/tests/multi-threading/
H A Dcheck_cnc_lock.c98 } ThData; typedef
103 ThData data[NTHREADS]; in test_multiple_threads()
126 ThData *d = &(data[i]); in test_multiple_threads()
137 ThData *d = &(data[i]); in test_multiple_threads()
149 ThData *d = &(data[i]); in test_multiple_threads()
155 ThData *d = &(data[i]); in test_multiple_threads()
163 ThData *d = &(data[i]); in test_multiple_threads()
176 test1_start_thread (ThData *data) in test1_start_thread()
H A Dcheck_mutex.c80 } ThData; typedef
86 ThData data[NTHREADS]; in test_multiple_threads()
92 ThData *d = &(data[i]); in test_multiple_threads()
99 ThData *d = &(data[i]); in test_multiple_threads()
110 ThData *d = &(data[i]); in test_multiple_threads()
142 test2_start_thread (ThData *data) in test2_start_thread()
173 test3_start_thread (ThData *data) in test3_start_thread()
H A Dcheck_parser.c41 } ThData;
53 static gpointer start_thread (ThData *data);
98 ThData data;
152 start_thread (ThData *data)
/dports/databases/libgda5-mysql/libgda-5.2.10/tests/multi-threading/
H A Dcheck_cnc_lock.c98 } ThData; typedef
103 ThData data[NTHREADS]; in test_multiple_threads()
126 ThData *d = &(data[i]); in test_multiple_threads()
137 ThData *d = &(data[i]); in test_multiple_threads()
149 ThData *d = &(data[i]); in test_multiple_threads()
155 ThData *d = &(data[i]); in test_multiple_threads()
163 ThData *d = &(data[i]); in test_multiple_threads()
176 test1_start_thread (ThData *data) in test1_start_thread()
H A Dcheck_mutex.c80 } ThData; typedef
86 ThData data[NTHREADS]; in test_multiple_threads()
92 ThData *d = &(data[i]); in test_multiple_threads()
99 ThData *d = &(data[i]); in test_multiple_threads()
110 ThData *d = &(data[i]); in test_multiple_threads()
142 test2_start_thread (ThData *data) in test2_start_thread()
173 test3_start_thread (ThData *data) in test3_start_thread()
H A Dcheck_parser.c41 } ThData;
53 static gpointer start_thread (ThData *data);
98 ThData data;
152 start_thread (ThData *data)
/dports/databases/libgda5-ui/libgda-5.2.10/tests/multi-threading/
H A Dcheck_cnc_lock.c98 } ThData; typedef
103 ThData data[NTHREADS]; in test_multiple_threads()
126 ThData *d = &(data[i]); in test_multiple_threads()
137 ThData *d = &(data[i]); in test_multiple_threads()
149 ThData *d = &(data[i]); in test_multiple_threads()
155 ThData *d = &(data[i]); in test_multiple_threads()
163 ThData *d = &(data[i]); in test_multiple_threads()
176 test1_start_thread (ThData *data) in test1_start_thread()
H A Dcheck_mutex.c80 } ThData; typedef
86 ThData data[NTHREADS]; in test_multiple_threads()
92 ThData *d = &(data[i]); in test_multiple_threads()
99 ThData *d = &(data[i]); in test_multiple_threads()
110 ThData *d = &(data[i]); in test_multiple_threads()
142 test2_start_thread (ThData *data) in test2_start_thread()
173 test3_start_thread (ThData *data) in test3_start_thread()
H A Dcheck_parser.c41 } ThData; typedef
53 static gpointer start_thread (ThData *data);
98 ThData data; in main()
152 start_thread (ThData *data) in start_thread()
/dports/databases/libgda5-postgresql/libgda-5.2.10/tests/multi-threading/
H A Dcheck_cnc_lock.c98 } ThData;
103 ThData data[NTHREADS];
126 ThData *d = &(data[i]);
137 ThData *d = &(data[i]);
149 ThData *d = &(data[i]);
155 ThData *d = &(data[i]);
163 ThData *d = &(data[i]);
176 test1_start_thread (ThData *data)
H A Dcheck_mutex.c80 } ThData; typedef
86 ThData data[NTHREADS]; in test_multiple_threads()
92 ThData *d = &(data[i]); in test_multiple_threads()
99 ThData *d = &(data[i]); in test_multiple_threads()
110 ThData *d = &(data[i]); in test_multiple_threads()
142 test2_start_thread (ThData *data) in test2_start_thread()
173 test3_start_thread (ThData *data) in test3_start_thread()
H A Dcheck_parser.c41 } ThData; typedef
53 static gpointer start_thread (ThData *data);
98 ThData data; in main()
152 start_thread (ThData *data) in start_thread()
/dports/databases/libgda5-ldap/libgda-5.2.10/tests/multi-threading/
H A Dcheck_cnc_lock.c98 } ThData;
103 ThData data[NTHREADS];
126 ThData *d = &(data[i]);
137 ThData *d = &(data[i]);
149 ThData *d = &(data[i]);
155 ThData *d = &(data[i]);
163 ThData *d = &(data[i]);
176 test1_start_thread (ThData *data)
H A Dcheck_mutex.c80 } ThData; typedef
86 ThData data[NTHREADS]; in test_multiple_threads()
92 ThData *d = &(data[i]); in test_multiple_threads()
99 ThData *d = &(data[i]); in test_multiple_threads()
110 ThData *d = &(data[i]); in test_multiple_threads()
142 test2_start_thread (ThData *data) in test2_start_thread()
173 test3_start_thread (ThData *data) in test3_start_thread()
H A Dcheck_parser.c41 } ThData; typedef
53 static gpointer start_thread (ThData *data);
98 ThData data; in main()
152 start_thread (ThData *data) in start_thread()
/dports/databases/libgda5-jdbc/libgda-5.2.10/tests/multi-threading/
H A Dcheck_cnc_lock.c98 } ThData; typedef
103 ThData data[NTHREADS]; in test_multiple_threads()
126 ThData *d = &(data[i]); in test_multiple_threads()
137 ThData *d = &(data[i]); in test_multiple_threads()
149 ThData *d = &(data[i]); in test_multiple_threads()
155 ThData *d = &(data[i]); in test_multiple_threads()
163 ThData *d = &(data[i]); in test_multiple_threads()
176 test1_start_thread (ThData *data) in test1_start_thread()
H A Dcheck_mutex.c80 } ThData; typedef
86 ThData data[NTHREADS]; in test_multiple_threads()
92 ThData *d = &(data[i]); in test_multiple_threads()
99 ThData *d = &(data[i]); in test_multiple_threads()
110 ThData *d = &(data[i]); in test_multiple_threads()
142 test2_start_thread (ThData *data) in test2_start_thread()
173 test3_start_thread (ThData *data) in test3_start_thread()
/dports/databases/libgda5-bdb/libgda-5.2.10/tests/multi-threading/
H A Dcheck_cnc_lock.c98 } ThData; typedef
103 ThData data[NTHREADS]; in test_multiple_threads()
126 ThData *d = &(data[i]); in test_multiple_threads()
137 ThData *d = &(data[i]); in test_multiple_threads()
149 ThData *d = &(data[i]); in test_multiple_threads()
155 ThData *d = &(data[i]); in test_multiple_threads()
163 ThData *d = &(data[i]); in test_multiple_threads()
176 test1_start_thread (ThData *data) in test1_start_thread()
H A Dcheck_mutex.c80 } ThData; typedef
86 ThData data[NTHREADS]; in test_multiple_threads()
92 ThData *d = &(data[i]); in test_multiple_threads()
99 ThData *d = &(data[i]); in test_multiple_threads()
110 ThData *d = &(data[i]); in test_multiple_threads()
142 test2_start_thread (ThData *data) in test2_start_thread()
173 test3_start_thread (ThData *data) in test3_start_thread()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmcS.c773 ThData[i].iLit = iLit; in Bmcs_ManPerform_Solve()
778 ThData[i].fWorking = 1; in Bmcs_ManPerform_Solve()
784 if ( ThData[i].fWorking ) in Bmcs_ManPerform_Solve()
799 if ( ThData[i].fWorking ) in Bmcs_ManPerform_Solve()
804 ThData[i].iLit = -1; in Bmcs_ManPerform_Solve()
824 ThData[i].iLit = -1; in Bmcs_ManPerformMulti()
825 ThData[i].iThread = i; in Bmcs_ManPerformMulti()
826 ThData[i].fWorking = 0; in Bmcs_ManPerformMulti()
827 ThData[i].status = -1; in Bmcs_ManPerformMulti()
899 ThData[i].pSat = NULL; in Bmcs_ManPerformMulti()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaKf.c1008 Kf_ThData_t ThData[PAR_THR_MAX];
1027 ThData[i].Id = -1;
1028 ThData[i].Status = 0;
1029 ThData[i].clkUsed = 0;
1038 if ( ThData[i].Status )
1041 if ( ThData[i].Id >= 0 )
1067 ThData[i].Id = -1;
1072 ThData[i].Status = 1;
1078 if ( ThData[i].Status == 1 || (ThData[i].Status == 0 && ThData[i].Id >= 0) )
1093 ThData[i].Id = -1;
[all …]

12