| /dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
| H A D | che_hcb.c | 277 long HCBAddWFCB(HCB_p hcb, WFCB_p wfcb, long steps) in HCBAddWFCB()
311 void HCBClauseEvaluate(HCB_p hcb, Clause_p clause) in HCBClauseEvaluate()
342 Clause_p HCBStandardClauseSelect(HCB_p hcb, ClauseSet_p set) in HCBStandardClauseSelect()
375 Clause_p HCBSingleWeightClauseSelect(HCB_p hcb, ClauseSet_p set) in HCBSingleWeightClauseSelect()
397 long HCBClauseSetDelProp(HCB_p hcb, ClauseSet_p set, long number, in HCBClauseSetDelProp()
461 long HCBClauseSetDeleteBadClauses(HCB_p hcb, ClauseSet_p set, long in HCBClauseSetDeleteBadClauses()
|
| H A D | che_hcbadmin.c | 57 static void parse_single_wfcb_item(HCB_p hcb, Scanner_p in, in parse_single_wfcb_item()
174 long HCBAdminAddHCB(HCBAdmin_p set, char* name, HCB_p hcb) in HCBAdminAddHCB()
243 HCB_p hcb = HCBAlloc(); in HeuristicParse() local
275 HCB_p hcb; in HeuristicDefParse() local
|
| H A D | che_proofcontrol.h | 42 HCB_p hcb; member
|
| /dports/devel/bglibs/bglibs-2.04/crypto/ |
| H A D | hmac.c | 33 void hmac_prepare(const struct hmac_control_block* hcb, in hmac_prepare()
78 void hmac_finish(const struct hmac_control_block* hcb, in hmac_finish()
104 void hmac(const struct hmac_control_block* hcb, in hmac()
|
| /dports/math/octave/octave-6.4.0/scripts/plot/util/ |
| H A D | axes.m | 155 hcb = get (h, "__colorbar_handle__"); variable
157 hcb = false; variable
|
| /dports/net/pjsip/pjproject-2.11.1/pjlib-util/src/pjlib-util-test/ |
| H A D | http_client.c | 384 pj_http_req_callback hcb; in http_client_test1() local
492 pj_http_req_callback hcb; in http_client_test2() local
625 pj_http_req_callback hcb; in http_client_test_put1() local
729 pj_http_req_callback hcb; in http_client_test_put2() local
826 pj_http_req_callback hcb; in http_client_test_delete() local
|
| /dports/math/octave/octave-6.4.0/scripts/plot/draw/ |
| H A D | colorbar.m | 104 hcb = []; variable
179 hcb = get (hax, "__colorbar_handle__"); variable
209 hcb = get (hax, "__colorbar_handle__"); variable
279 hcb = axes ("parent", hpar, "tag", "colorbar", variable
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/stdlib/src/ |
| H A D | shell_default.erl | 95 hcb(M) -> c:hcb(M). function
96 hcb(M,F) -> c:hcb(M,F). function
97 hcb(M,F,A) -> c:hcb(M,F,A). function
|
| H A D | c.erl | 229 hcb(Module) -> function
240 hcb(Module,Callback) -> function
252 hcb(Module,Callback,Arity) -> function
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/stdlib/src/ |
| H A D | shell_default.erl | 95 hcb(M) -> c:hcb(M). function
96 hcb(M,F) -> c:hcb(M,F). function
97 hcb(M,F,A) -> c:hcb(M,F,A). function
|
| H A D | c.erl | 233 hcb(Module) -> function
244 hcb(Module,Callback) -> function
256 hcb(Module,Callback,Arity) -> function
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/stdlib/src/ |
| H A D | shell_default.erl | 95 hcb(M) -> c:hcb(M). function
96 hcb(M,F) -> c:hcb(M,F). function
97 hcb(M,F,A) -> c:hcb(M,F,A). function
|
| H A D | c.erl | 233 hcb(Module) -> function
244 hcb(Module,Callback) -> function
256 hcb(Module,Callback,Arity) -> function
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/stdlib/src/ |
| H A D | shell_default.erl | 95 hcb(M) -> c:hcb(M). function
96 hcb(M,F) -> c:hcb(M,F). function
97 hcb(M,F,A) -> c:hcb(M,F,A). function
|
| H A D | c.erl | 233 hcb(Module) -> function
244 hcb(Module,Callback) -> function
256 hcb(Module,Callback,Arity) -> function
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/stdlib/src/ |
| H A D | shell_default.erl | 95 hcb(M) -> c:hcb(M). function
96 hcb(M,F) -> c:hcb(M,F). function
97 hcb(M,F,A) -> c:hcb(M,F,A). function
|
| H A D | c.erl | 233 hcb(Module) -> function
244 hcb(Module,Callback) -> function
256 hcb(Module,Callback,Arity) -> function
|
| /dports/x11-toolkits/py-fltk/pyFltk-1.3.4.1/fltk/test/ |
| H A D | sliders.py | 59 def hcb(slider): function
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/net/802/ |
| H A D | hippi.c | 47 struct hippi_cb *hcb = (struct hippi_cb *) skb->cb; in hippi_header() local
|
| /dports/multimedia/libv4l/linux-5.13-rc2/net/802/ |
| H A D | hippi.c | 47 struct hippi_cb *hcb = (struct hippi_cb *) skb->cb; in hippi_header() local
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/net/802/ |
| H A D | hippi.c | 47 struct hippi_cb *hcb = (struct hippi_cb *) skb->cb; in hippi_header() local
|
| /dports/devel/folly/folly-2021.12.27.00/folly/io/async/test/ |
| H A D | TestSSLServer.h | 54 explicit SSLServerAcceptCallbackBase(HandshakeCallback* hcb) in SSLServerAcceptCallbackBase()
|
| /dports/audio/fdk-aac/fdk-aac-2.0.2/libAACdec/src/ |
| H A D | block.h | 302 const CodeBookDescription *hcb) /*!< pointer to codebook description */ in CBlock_DecodeHuffmanWord()
|
| /dports/multimedia/handbrake/fdk-aac-2.0.1/libAACdec/src/ |
| H A D | block.h | 302 const CodeBookDescription *hcb) /*!< pointer to codebook description */ in CBlock_DecodeHuffmanWord()
|
| /dports/net/pjsip/pjproject-2.11.1/pjsip-apps/src/samples/ |
| H A D | httpdemo.c | 109 pj_http_req_callback hcb; in getURL() local
|