Home
last modified time | relevance | path

Searched refs:hasSubs (Results 1 – 25 of 26) sorted by relevance

12

/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/tools/trim/
H A Dtrim.go202 …nators(d, v *adt.Vertex, hasDisjunction bool) (doms *adt.Vertex, ambiguous, hasSubs, strict bool) {
226 hasSubs = true
246 return doms, hasSubs, ambiguous, strict || ambiguous
259 doms, hasSubs, ambiguous, pickedDefault := t.addDominators(doms, v, hasDisjunction)
296 if !hasSubs {
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dterm_database.cpp606 if( hasSubs ){ in getEntailedTerm2()
621 if( isEntailed2( n[0], subs, subsRep, hasSubs, i==0, qy ) ){ in getEntailedTerm2()
631 TNode c = getEntailedTerm2( n[i], subs, subsRep, hasSubs, qy ); in getEntailedTerm2()
676 TNode n1 = getEntailedTerm2( n[0], subs, subsRep, hasSubs, qy ); in isEntailed2()
678 TNode n2 = getEntailedTerm2( n[1], subs, subsRep, hasSubs, qy ); in isEntailed2()
694 return isEntailed2( n[0], subs, subsRep, hasSubs, !pol, qy ); in isEntailed2()
698 if( isEntailed2( n[i], subs, subsRep, hasSubs, pol, qy ) ){ in isEntailed2()
712 if( isEntailed2( n[0], subs, subsRep, hasSubs, i==0, qy ) ){ in isEntailed2()
715 return isEntailed2( n[ch], subs, subsRep, hasSubs, reqPol, qy ); in isEntailed2()
719 TNode n1 = getEntailedTerm2( n, subs, subsRep, hasSubs, qy ); in isEntailed2()
[all …]
H A Dterm_database.h312 …TNode getEntailedTerm2( TNode n, std::map< TNode, TNode >& subs, bool subsRep, bool hasSubs, Equal…
314 …bool isEntailed2( TNode n, std::map< TNode, TNode >& subs, bool subsRep, bool hasSubs, bool pol, E…
/dports/editors/calligraplan/calligraplan-3.3.0/src/plugins/schedulers/tj/taskjuggler/
H A DCoreAttributesTreeIterator.h48 while (current->hasSubs()) in CoreAttributesTreeIteratorT()
71 while (current->hasSubs())
H A DResource.cpp693 if (hasSubs()) in getCurrentDaySlots()
730 if (hasSubs()) in getCurrentWeekSlots()
766 if (hasSubs()) in getCurrentMonthSlots()
804 if (hasSubs()) in getEffectiveLoad()
921 if (hasSubs()) in getEffectiveFreeLoad()
1329 if (hasSubs()) in bookingsOk()
H A DCoreAttributes.h80 bool hasSubs() const;
H A DCoreAttributes.cpp84 CoreAttributes::hasSubs() const in hasSubs() function in TJ::CoreAttributes
H A DTask.cpp2076 if (hasSubs()) in startCanBeDetermined()
2143 if (hasSubs()) in endCanBeDetermined()
2280 if (hasSubs() && !scenarios[sc].bookedResources.isEmpty()) in preScheduleOk()
3117 if (hasSubs()) in computePathCriticalness()
3171 if (hasSubs() || !previous.isEmpty()) in checkAndMarkCriticalPath()
3199 if (hasSubs()) in analyzePath()
3346 if (hasSubs()) in collectTransientFollowers()
H A DProject.cpp946 if (!static_cast<Task*>(t)->hasSubs()) { in schedule()
/dports/net/openldap25-server/openldap-2.5.9/servers/slapd/back-relay/
H A Dop.c315 relay_back_has_subordinates( Operation *op, Entry *e, int *hasSubs ) in relay_back_has_subordinates() argument
323 rc = bd->be_has_subordinates( op, e, hasSubs ); in relay_back_has_subordinates()
/dports/net/openldap24-client/openldap-2.4.59/servers/slapd/back-relay/
H A Dop.c313 relay_back_has_subordinates( Operation *op, Entry *e, int *hasSubs ) in relay_back_has_subordinates() argument
321 rc = bd->be_has_subordinates( op, e, hasSubs ); in relay_back_has_subordinates()
/dports/net/openldap25-client/openldap-2.5.9/servers/slapd/back-relay/
H A Dop.c315 relay_back_has_subordinates( Operation *op, Entry *e, int *hasSubs ) in relay_back_has_subordinates() argument
323 rc = bd->be_has_subordinates( op, e, hasSubs ); in relay_back_has_subordinates()
/dports/net/openldap24-server/openldap-2.4.59/servers/slapd/back-relay/
H A Dop.c313 relay_back_has_subordinates( Operation *op, Entry *e, int *hasSubs ) in relay_back_has_subordinates() argument
321 rc = bd->be_has_subordinates( op, e, hasSubs ); in relay_back_has_subordinates()
/dports/net/openldap26-server/openldap-2.6.0/servers/slapd/back-relay/
H A Dop.c315 relay_back_has_subordinates( Operation *op, Entry *e, int *hasSubs ) in relay_back_has_subordinates() argument
323 rc = bd->be_has_subordinates( op, e, hasSubs ); in relay_back_has_subordinates()
/dports/net/openldap26-client/openldap-2.6.0/servers/slapd/back-relay/
H A Dop.c315 relay_back_has_subordinates( Operation *op, Entry *e, int *hasSubs ) in relay_back_has_subordinates() argument
323 rc = bd->be_has_subordinates( op, e, hasSubs ); in relay_back_has_subordinates()
/dports/multimedia/mpc-qt/mpc-qt-20.10/
H A Dmainwindow.cpp1420 hasSubs = !tracks.isEmpty(); in setSubtitleTracks()
1421 ui->actionPlaySubtitlesEnabled->setEnabled(hasSubs); in setSubtitleTracks()
1422 ui->subs->setEnabled(hasSubs); in setSubtitleTracks()
1423 ui->actionPlaySubtitlesNext->setEnabled(hasSubs); in setSubtitleTracks()
1424 ui->actionPlaySubtitlesPrevious->setEnabled(hasSubs); in setSubtitleTracks()
1425 if (!hasSubs) in setSubtitleTracks()
H A Dmainwindow.h360 bool hasSubs = false; variable
/dports/sysutils/nix/nix-2.3.10/src/nix-env/
H A Dnix-env.cc1007 bool hasSubs = substitutablePaths.find(outPath) != substitutablePaths.end(); in opQuery() local
1013 attrs["substitutable"] = hasSubs ? "1" : "0"; in opQuery()
1018 + (hasSubs ? "S" : "-")); in opQuery()
/dports/net/openldap24-client/openldap-2.4.59/servers/slapd/
H A Dslap.h2176 Entry *e, int *hasSubs ));
/dports/net/openldap24-server/openldap-2.4.59/servers/slapd/
H A Dslap.h2176 Entry *e, int *hasSubs ));
/dports/net/openldap25-server/openldap-2.5.9/servers/slapd/
H A Dslap.h2205 Entry *e, int *hasSubs ));
/dports/net/openldap25-client/openldap-2.5.9/servers/slapd/
H A Dslap.h2205 Entry *e, int *hasSubs ));
/dports/net/openldap26-server/openldap-2.6.0/servers/slapd/
H A Dslap.h2213 Entry *e, int *hasSubs ));
/dports/net/openldap26-client/openldap-2.6.0/servers/slapd/
H A Dslap.h2213 Entry *e, int *hasSubs ));
/dports/www/grafana8/grafana-8.3.6/public/build/
H A D3698.0e38943fa459e872fe93.js.map1hasSubs = false;\n\n for (var channel in _this3._serverSubs) {\n if (_this3._serve…

12