Home
last modified time | relevance | path

Searched refs:fromc (Results 1 – 25 of 102) sorted by relevance

12345

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dcryptominisat_c.cpp37 const Lit* fromc(const c_Lit* x) in fromc() function
41 const lbool* fromc(const c_lbool* x) in fromc() function
92 return self->add_clause(wrap(fromc(lits), num_lits)); in cmsat_add_clause()
108 auto temp = wrap(fromc(assumptions), num_assumptions); in cmsat_solve_with_assumptions()
162 auto temp = wrap(fromc(assumptions), num_assumptions); in cmsat_simplify()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dcryptominisat_c.cpp37 const Lit* fromc(const c_Lit* x) in fromc() function
41 const lbool* fromc(const c_lbool* x) in fromc() function
92 return self->add_clause(wrap(fromc(lits), num_lits)); in cmsat_add_clause()
108 auto temp = wrap(fromc(assumptions), num_assumptions); in cmsat_solve_with_assumptions()
162 auto temp = wrap(fromc(assumptions), num_assumptions); in cmsat_simplify()
/dports/databases/grass7/grass-7.8.6/raster/r.out.ascii/
H A Dformspecific.c131 char fromc[128], toc[128]; in writeGSheader() local
144 G_format_easting(region.west + region.ew_res / 2., fromc, in writeGSheader()
148 fprintf(fp, "%s %s\n", fromc, toc); in writeGSheader()
150 G_format_northing(region.south + region.ns_res / 2., fromc, in writeGSheader()
154 fprintf(fp, "%s %s\n", fromc, toc); in writeGSheader()
/dports/math/gismo/gismo-21.12.0/src/gsIO/
H A DgsFileManager.cpp494 std::string fromc = getCanonicRepresentation(from); in makeRelative() local
500 if ((fromc.length() > 0) && isalpha(fromc[0]) && (toc.length() > 0) && isalpha(toc[0]) && in makeRelative()
501 (fromc[0] != toc[0])) in makeRelative()
507 while (pos < fromc.length() && pos < toc.length() && fromc[pos] == toc[pos]) in makeRelative()
509 if (fromc[pos++] == getNativePathSeparator()) in makeRelative()
514 std::string sub = fromc.substr(start); in makeRelative()
/dports/converters/php81-mbstring/php-8.1.1/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/www/mod_php81/php-8.1.1/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/lang/php81/php-8.1.1/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/security/vault/vault-1.8.2/vendor/go.etcd.io/etcd/raft/rafttest/
H A Dnetwork.go113 fromc := rn.recvQueues[from]
115 fromc = nil
119 return fromc
/dports/www/minio-client/etcd-3.5.0/raft/rafttest/
H A Dnetwork.go113 fromc := rn.recvQueues[from]
115 fromc = nil
119 return fromc
/dports/lang/php73/php-7.3.33/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/converters/php80-mbstring/php-8.0.15/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/converters/php73-mbstring/php-7.3.33/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/converters/php74-mbstring/php-7.4.27/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/lang/php74/php-7.4.27/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/lang/php80/php-8.0.15/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/www/mod_php73/php-7.3.33/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/www/mod_php80/php-8.0.15/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/www/mod_php74/php-7.4.27/ext/mbstring/tests/
H A Dbug30549.phpt14 foreach($map as $fromc => $toc) {
15 $ustr = mb_convert_encoding(pack('C', $fromc), 'UCS-4BE', $enc);
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/coreos/etcd/raft/rafttest/
H A Dnetwork.go124 fromc := rn.recvQueues[from]
126 fromc = nil
130 return fromc
/dports/net-im/nextcloud-spreed-signaling/nextcloud-spreed-signaling-0.2.0/vendor/src/go.etcd.io/etcd/raft/rafttest/
H A Dnetwork.go126 fromc := rn.recvQueues[from]
128 fromc = nil
132 return fromc
/dports/devel/etcd31/etcd-3.1.20/raft/rafttest/
H A Dnetwork.go124 fromc := rn.recvQueues[from]
126 fromc = nil
130 return fromc
/dports/devel/etcd33/etcd-3.3.23/vendor/github.com/coreos/etcd/raft/rafttest/
H A Dnetwork.go124 fromc := rn.recvQueues[from]
126 fromc = nil
130 return fromc
/dports/devel/etcd34/etcd-3.4.18/raft/rafttest/
H A Dnetwork.go126 fromc := rn.recvQueues[from]
128 fromc = nil
132 return fromc
/dports/security/certmgr/certmgr-3.0.3/vendor/github.com/google/certificate-transparency-go/certificate-transparency-go-1.0.21/vendor/github.com/coreos/etcd/raft/rafttest/
H A Dnetwork.go124 fromc := rn.recvQueues[from]
126 fromc = nil
130 return fromc
/dports/devel/etcd32/etcd-3.2.32/raft/rafttest/
H A Dnetwork.go124 fromc := rn.recvQueues[from]
126 fromc = nil
130 return fromc

12345