| /dports/math/ogdf/OGDF/include/ogdf/lib/abacus/ |
| H A D | srowcon.h | 75 bool liftable) in SRowCon() argument
76 : RowCon(master, sub, sense, nnz, support, coeff, rhs, dynamic, local, liftable) in SRowCon()
108 bool liftable) in SRowCon() argument
109 : RowCon(master, sub, sense, nnz, support, coeff, rhs, dynamic, local, liftable) in SRowCon()
|
| H A D | rowcon.h | 81 bool liftable) in RowCon() argument
83 Constraint(master, sub, sense, rhs, dynamic, local, liftable), in RowCon()
116 bool liftable) in RowCon() argument
118 Constraint(master, sub, sense, rhs, dynamic, local, liftable), in RowCon()
|
| H A D | constraint.h | 86 bool liftable);
140 bool liftable() const { return liftable_; } in liftable() function
295 bool liftable) in Constraint() argument
296 …Var(master, sub, dynamic, local), sense_(sense), rhs_(rhs), conClass_(nullptr), liftable_(liftable) in Constraint()
|
| H A D | numcon.h | 72 bool liftable, in NumCon() argument
75 : Constraint(master, sub, sense, rhs, dynamic, local, liftable), number_(number) in NumCon()
|
| /dports/lang/racket-minimal/racket-8.3/src/schemify/ |
| H A D | lift.rkt | 348 (when (liftable? proc)
373 (when (liftable? proc)
399 (when (liftable? proc)
567 ;; Copy over `liftable`s:
569 (when (liftable? info)
586 [(liftable? info)
587 ;; A liftable function called by ths liftable function,
617 #:when (liftable? proc))
618 (set-liftable-frees! proc (sort (for/list ([f (in-hash-keys (liftable-frees proc))]
780 [rhs (liftable-expr proc)])
[all …]
|
| /dports/lang/racket/racket-8.3/src/schemify/ |
| H A D | lift.rkt | 348 (when (liftable? proc)
373 (when (liftable? proc)
399 (when (liftable? proc)
567 ;; Copy over `liftable`s:
569 (when (liftable? info)
586 [(liftable? info)
587 ;; A liftable function called by ths liftable function,
617 #:when (liftable? proc))
618 (set-liftable-frees! proc (sort (for/list ([f (in-hash-keys (liftable-frees proc))]
780 [rhs (liftable-expr proc)])
[all …]
|
| /dports/math/ogdf/OGDF/include/ogdf/cluster/internal/ |
| H A D | basics.h | 61 …acus::Sub *sub, abacus::CSense::SENSE sense, double rhs, bool dynamic, bool local, bool liftable) : in BaseConstraint() argument
62 abacus::Constraint(master, sub, sense, rhs, dynamic, local, liftable) { } in BaseConstraint()
|
| /dports/deskutils/calibre/calibre-src-5.34.0/src/calibre/ebooks/docx/ |
| H A D | cleanup.py | 53 def liftable(css): function
174 if liftable(span_css) and (not span_dir or span_dir == parent.get('dir')):
|
| /dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ |
| H A D | VectorizeLoops.cpp | 1315 liftable.insert(e); in mutate()
1337 std::set<Expr, ExprCompare> liftable; member in Halide::Internal::__anon4b0b2d310111::FindVectorizableExprsInAtomicNode
1341 const std::set<Expr, ExprCompare> &liftable; member in Halide::Internal::__anon4b0b2d310111::LiftVectorizableExprsOutOfSingleAtomicNode
1347 if (liftable.count(op->value)) {
1373 if (liftable.count(e) && !is_const(e) && !e.as<Variable>()) { in mutate()
1389 LiftVectorizableExprsOutOfSingleAtomicNode(const std::set<Expr, ExprCompare> &liftable) in LiftVectorizableExprsOutOfSingleAtomicNode() argument
1390 : liftable(liftable) { in LiftVectorizableExprsOutOfSingleAtomicNode()
1400 LiftVectorizableExprsOutOfSingleAtomicNode lifter(finder.liftable); in visit()
|
| /dports/math/reduce/Reduce-svn5758-src/packages/reduce4/ |
| H A D | reval4.red | 50 % True if type of u is liftable to type v.
|
| H A D | form4.red | 179 %%% Should we check if type of u is liftable to bool ???
|
| /dports/security/vault/vault-1.8.2/vendor/honnef.co/go/tools/ir/ |
| H A D | lift.go | 201 if !liftable(instr) {
675 func liftable(alloc *Alloc) bool { func
|
| /dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/honnef.co/go/tools/go/ir/ |
| H A D | lift.go | 201 if !liftable(instr) {
675 func liftable(alloc *Alloc) bool { func
|
| /dports/dns/dnscrypt-proxy2/dnscrypt-proxy-2.1.1/vendor/honnef.co/go/tools/go/ir/ |
| H A D | lift.go | 213 if !liftable(instr) {
687 func liftable(alloc *Alloc) bool { func
|
| /dports/sysutils/nomad/nomad-1.1.0/vendor/honnef.co/go/tools/ir/ |
| H A D | lift.go | 201 if !liftable(instr) {
675 func liftable(alloc *Alloc) bool { func
|
| /dports/sysutils/terraform-docs/terraform-docs-0.16.0/vendor/honnef.co/go/tools/go/ir/ |
| H A D | lift.go | 213 if !liftable(instr) {
687 func liftable(alloc *Alloc) bool { func
|
| /dports/multimedia/navidrome/navidrome-0.40.0/vendor/honnef.co/go/tools/ir/ |
| H A D | lift.go | 201 if !liftable(instr) {
675 func liftable(alloc *Alloc) bool { func
|
| /dports/multimedia/navidrome/navidrome-0.40.0/vendor/github.com/kunwardeep/paralleltest/tools/vendor/honnef.co/go/tools/ir/ |
| H A D | lift.go | 201 if !liftable(instr) {
675 func liftable(alloc *Alloc) bool { func
|
| /dports/lang/ypsilon/ypsilon-0.9.6-update3/stdlib/core/ |
| H A D | optimize.scm | 494 (core-hashtable-set! ht-lambda-node (cdr b) 'liftable)
512 … (core-hashtable-set! ht-lambda-node (car b) 'liftable)))))))
524 'liftable))
|
| /dports/math/reduce/Reduce-svn5758-src/packages/solve/ |
| H A D | solve.tst | 145 % Single equations liftable to polynomial systems.
157 % Generally not liftable.
|
| /dports/math/reduce/Reduce-svn5758-src/xmpl/ |
| H A D | solve.tst | 145 % Single equations liftable to polynomial systems.
157 % Generally not liftable.
|
| /dports/lang/racket/racket-8.3/collects/ffi/unsafe/ |
| H A D | objc.rkt | 566 (define-for-syntax liftable-type?
583 [(andmap liftable-type? type-exprs)
|
| /dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/polyselect/ |
| H A D | kleinjung.sage | 363 # # liftable because of ramification. Later recursive calls
745 # liftable because of ramification. Later recursive calls
|
| /dports/lang/racket-minimal/racket-8.3/collects/ffi/unsafe/ |
| H A D | objc.rkt | 566 (define-for-syntax liftable-type?
583 [(andmap liftable-type? type-exprs)
|
| /dports/math/ogdf/OGDF/src/ogdf/lib/abacus/ |
| H A D | sub.cpp | 787 if (!constraint(i)->liftable()) { in cutting()
1452 if (!constraint(i)->liftable()) { in removeNonLiftableCons()
|