/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | cryptominisat_c.cpp | 37 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 D | cryptominisat_c.cpp | 37 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 D | formspecific.c | 131 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 D | gsFileManager.cpp | 494 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | network.go | 113 fromc := rn.recvQueues[from] 115 fromc = nil 119 return fromc
|
/dports/www/minio-client/etcd-3.5.0/raft/rafttest/ |
H A D | network.go | 113 fromc := rn.recvQueues[from] 115 fromc = nil 119 return fromc
|
/dports/lang/php73/php-7.3.33/ext/mbstring/tests/ |
H A D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | bug30549.phpt | 14 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 D | network.go | 124 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 D | network.go | 126 fromc := rn.recvQueues[from] 128 fromc = nil 132 return fromc
|
/dports/devel/etcd31/etcd-3.1.20/raft/rafttest/ |
H A D | network.go | 124 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 D | network.go | 124 fromc := rn.recvQueues[from] 126 fromc = nil 130 return fromc
|
/dports/devel/etcd34/etcd-3.4.18/raft/rafttest/ |
H A D | network.go | 126 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 D | network.go | 124 fromc := rn.recvQueues[from] 126 fromc = nil 130 return fromc
|
/dports/devel/etcd32/etcd-3.2.32/raft/rafttest/ |
H A D | network.go | 124 fromc := rn.recvQueues[from] 126 fromc = nil 130 return fromc
|