Home
last modified time | relevance | path

Searched refs:scc_root (Results 1 – 25 of 54) sorted by relevance

123

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dgv04.cc310 int scc_root = data.stack[data.dftop].lowlink; in accepting_run() local
311 assert(scc_root >= 0); in accepting_run()
315 int father = data.stack[scc_root].pre; in accepting_run()
337 int scc_root; in accepting_run() member
340 first_bfs(result* r, int scc_root) in accepting_run()
342 scc_root(scc_root), r(r) in accepting_run()
358 || data.stack[j->second].lowlink < scc_root) in accepting_run()
379 : first_bfs(r, scc_root), target(target) in accepting_run()
390 const state* bfs_start = data.stack[scc_root].s; in accepting_run()
394 first_bfs b1(this, scc_root); in accepting_run()
[all …]
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dgv04.cc310 int scc_root = data.stack[data.dftop].lowlink; in accepting_run() local
311 assert(scc_root >= 0); in accepting_run()
315 int father = data.stack[scc_root].pre; in accepting_run()
337 int scc_root; in accepting_run() member
340 first_bfs(result* r, int scc_root) in accepting_run()
342 scc_root(scc_root), r(r) in accepting_run()
358 || data.stack[j->second].lowlink < scc_root) in accepting_run()
379 : first_bfs(r, scc_root), target(target) in accepting_run()
390 const state* bfs_start = data.stack[scc_root].s; in accepting_run()
394 first_bfs b1(this, scc_root); in accepting_run()
[all …]
/dports/databases/xtrabackup/boost_1_59_0/tools/build/src/engine/
H A Dmake.c258 if ( result && t->scc_root == NULL ) in make0rescan()
260 t->scc_root = rescanning; in make0rescan()
454 if ( scc_root->fate == T_FATE_MAKING && in make0()
455 ( !scc_root->includes || in make0()
458 if ( scc_root->depth < cycle_depth ) in make0()
460 cycle_depth = scc_root->depth; in make0()
461 t->scc_root = scc_root; in make0()
480 if ( c->target->scc_root ) in make0()
483 if ( scc_root != t->scc_root ) in make0()
486 &scc_root->leaf ); in make0()
[all …]
H A Dmake1.c297 TARGET * const scc_root = target_scc( t ); in make1a() local
299 if ( !pState->parent || target_scc( pState->parent ) != scc_root ) in make1a()
300 pState->t = t = scc_root; in make1a()
646 if ( t->scc_root ) in make1c()
648 TARGET * const scc_root = target_scc( t ); in make1c() local
649 assert( scc_root->progress < T_MAKE_DONE ); in make1c()
652 if ( target_scc( c->target ) == scc_root ) in make1c()
656 scc_root->parents = targetentry( scc_root->parents, in make1c()
H A Drules.c220 while ( result->scc_root ) in target_scc()
221 result = result->scc_root; in target_scc()
222 while ( t->scc_root ) in target_scc()
224 TARGET * const tmp = t->scc_root; in target_scc()
225 t->scc_root = result; in target_scc()
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/tools/build/src/engine/
H A Dmake.c258 if ( result && t->scc_root == NULL ) in make0rescan()
260 t->scc_root = rescanning; in make0rescan()
454 if ( scc_root->fate == T_FATE_MAKING && in make0()
455 ( !scc_root->includes || in make0()
458 if ( scc_root->depth < cycle_depth ) in make0()
460 cycle_depth = scc_root->depth; in make0()
461 t->scc_root = scc_root; in make0()
480 if ( c->target->scc_root ) in make0()
483 if ( scc_root != t->scc_root ) in make0()
486 &scc_root->leaf ); in make0()
[all …]
H A Dmake1.c297 TARGET * const scc_root = target_scc( t ); in make1a() local
299 if ( !pState->parent || target_scc( pState->parent ) != scc_root ) in make1a()
300 pState->t = t = scc_root; in make1a()
646 if ( t->scc_root ) in make1c()
648 TARGET * const scc_root = target_scc( t ); in make1c() local
649 assert( scc_root->progress < T_MAKE_DONE ); in make1c()
652 if ( target_scc( c->target ) == scc_root ) in make1c()
656 scc_root->parents = targetentry( scc_root->parents, in make1c()
H A Drules.c220 while ( result->scc_root ) in target_scc()
221 result = result->scc_root; in target_scc()
222 while ( t->scc_root ) in target_scc()
224 TARGET * const tmp = t->scc_root; in target_scc()
225 t->scc_root = result; in target_scc()
/dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/tools/build/src/engine/
H A Dmake.cpp264 if ( result && t->scc_root == NULL ) in make0rescan()
266 t->scc_root = rescanning; in make0rescan()
460 if ( scc_root->fate == T_FATE_MAKING && in make0()
461 ( !scc_root->includes || in make0()
464 if ( scc_root->depth < cycle_depth ) in make0()
466 cycle_depth = scc_root->depth; in make0()
467 t->scc_root = scc_root; in make0()
486 if ( c->target->scc_root ) in make0()
489 if ( scc_root != t->scc_root ) in make0()
492 &scc_root->leaf ); in make0()
[all …]
H A Drules.cpp220 while ( result->scc_root ) in target_scc()
221 result = result->scc_root; in target_scc()
222 while ( t->scc_root ) in target_scc()
224 TARGET * const tmp = t->scc_root; in target_scc()
225 t->scc_root = result; in target_scc()
/dports/databases/mysqlwsrep57-server/boost_1_59_0/tools/build/src/engine/
H A Dmake.c258 if ( result && t->scc_root == NULL ) in make0rescan()
260 t->scc_root = rescanning; in make0rescan()
454 if ( scc_root->fate == T_FATE_MAKING && in make0()
455 ( !scc_root->includes || in make0()
458 if ( scc_root->depth < cycle_depth ) in make0()
460 cycle_depth = scc_root->depth; in make0()
461 t->scc_root = scc_root; in make0()
480 if ( c->target->scc_root ) in make0()
483 if ( scc_root != t->scc_root ) in make0()
486 &scc_root->leaf ); in make0()
[all …]
H A Dmake1.c297 TARGET * const scc_root = target_scc( t ); in make1a() local
299 if ( !pState->parent || target_scc( pState->parent ) != scc_root ) in make1a()
300 pState->t = t = scc_root; in make1a()
646 if ( t->scc_root ) in make1c()
648 TARGET * const scc_root = target_scc( t ); in make1c() local
649 assert( scc_root->progress < T_MAKE_DONE ); in make1c()
652 if ( target_scc( c->target ) == scc_root ) in make1c()
656 scc_root->parents = targetentry( scc_root->parents, in make1c()
H A Drules.c220 while ( result->scc_root ) in target_scc()
221 result = result->scc_root; in target_scc()
222 while ( t->scc_root ) in target_scc()
224 TARGET * const tmp = t->scc_root; in target_scc()
225 t->scc_root = result; in target_scc()
/dports/databases/percona57-server/boost_1_59_0/tools/build/src/engine/
H A Dmake.c258 if ( result && t->scc_root == NULL ) in make0rescan()
260 t->scc_root = rescanning; in make0rescan()
454 if ( scc_root->fate == T_FATE_MAKING && in make0()
455 ( !scc_root->includes || in make0()
458 if ( scc_root->depth < cycle_depth ) in make0()
460 cycle_depth = scc_root->depth; in make0()
461 t->scc_root = scc_root; in make0()
480 if ( c->target->scc_root ) in make0()
483 if ( scc_root != t->scc_root ) in make0()
486 &scc_root->leaf ); in make0()
[all …]
H A Dmake1.c297 TARGET * const scc_root = target_scc( t ); in make1a() local
299 if ( !pState->parent || target_scc( pState->parent ) != scc_root ) in make1a()
300 pState->t = t = scc_root; in make1a()
646 if ( t->scc_root ) in make1c()
648 TARGET * const scc_root = target_scc( t ); in make1c() local
649 assert( scc_root->progress < T_MAKE_DONE ); in make1c()
652 if ( target_scc( c->target ) == scc_root ) in make1c()
656 scc_root->parents = targetentry( scc_root->parents, in make1c()
/dports/databases/percona57-client/boost_1_59_0/tools/build/src/engine/
H A Dmake.c258 if ( result && t->scc_root == NULL ) in make0rescan()
260 t->scc_root = rescanning; in make0rescan()
454 if ( scc_root->fate == T_FATE_MAKING && in make0()
455 ( !scc_root->includes || in make0()
458 if ( scc_root->depth < cycle_depth ) in make0()
460 cycle_depth = scc_root->depth; in make0()
461 t->scc_root = scc_root; in make0()
480 if ( c->target->scc_root ) in make0()
483 if ( scc_root != t->scc_root ) in make0()
486 &scc_root->leaf ); in make0()
[all …]
H A Dmake1.c297 TARGET * const scc_root = target_scc( t ); in make1a() local
299 if ( !pState->parent || target_scc( pState->parent ) != scc_root ) in make1a()
300 pState->t = t = scc_root; in make1a()
646 if ( t->scc_root ) in make1c()
648 TARGET * const scc_root = target_scc( t ); in make1c() local
649 assert( scc_root->progress < T_MAKE_DONE ); in make1c()
652 if ( target_scc( c->target ) == scc_root ) in make1c()
656 scc_root->parents = targetentry( scc_root->parents, in make1c()
/dports/devel/boost-libs/boost_1_72_0/tools/build/src/engine/
H A Dmake.cpp264 if ( result && t->scc_root == NULL ) in make0rescan()
266 t->scc_root = rescanning; in make0rescan()
460 if ( scc_root->fate == T_FATE_MAKING && in make0()
461 ( !scc_root->includes || in make0()
464 if ( scc_root->depth < cycle_depth ) in make0()
466 cycle_depth = scc_root->depth; in make0()
467 t->scc_root = scc_root; in make0()
486 if ( c->target->scc_root ) in make0()
489 if ( scc_root != t->scc_root ) in make0()
492 &scc_root->leaf ); in make0()
[all …]
/dports/devel/boost-docs/boost_1_72_0/tools/build/src/engine/
H A Dmake.cpp264 if ( result && t->scc_root == NULL ) in make0rescan()
266 t->scc_root = rescanning; in make0rescan()
460 if ( scc_root->fate == T_FATE_MAKING && in make0()
461 ( !scc_root->includes || in make0()
464 if ( scc_root->depth < cycle_depth ) in make0()
466 cycle_depth = scc_root->depth; in make0()
467 t->scc_root = scc_root; in make0()
486 if ( c->target->scc_root ) in make0()
489 if ( scc_root != t->scc_root ) in make0()
492 &scc_root->leaf ); in make0()
[all …]
/dports/devel/boost-jam/boost_1_72_0/tools/build/src/engine/
H A Dmake.cpp264 if ( result && t->scc_root == NULL ) in make0rescan()
266 t->scc_root = rescanning; in make0rescan()
460 if ( scc_root->fate == T_FATE_MAKING && in make0()
461 ( !scc_root->includes || in make0()
464 if ( scc_root->depth < cycle_depth ) in make0()
466 cycle_depth = scc_root->depth; in make0()
467 t->scc_root = scc_root; in make0()
486 if ( c->target->scc_root ) in make0()
489 if ( scc_root != t->scc_root ) in make0()
492 &scc_root->leaf ); in make0()
[all …]
/dports/devel/boost-python-libs/boost_1_72_0/tools/build/src/engine/
H A Dmake.cpp264 if ( result && t->scc_root == NULL ) in make0rescan()
266 t->scc_root = rescanning; in make0rescan()
460 if ( scc_root->fate == T_FATE_MAKING && in make0()
461 ( !scc_root->includes || in make0()
464 if ( scc_root->depth < cycle_depth ) in make0()
466 cycle_depth = scc_root->depth; in make0()
467 t->scc_root = scc_root; in make0()
486 if ( c->target->scc_root ) in make0()
489 if ( scc_root != t->scc_root ) in make0()
492 &scc_root->leaf ); in make0()
[all …]
/dports/devel/boost_build/build-29baa79/src/engine/
H A Dmake.cpp264 if ( result && t->scc_root == NULL ) in make0rescan()
266 t->scc_root = rescanning; in make0rescan()
460 if ( scc_root->fate == T_FATE_MAKING && in make0()
461 ( !scc_root->includes || in make0()
464 if ( scc_root->depth < cycle_depth ) in make0()
466 cycle_depth = scc_root->depth; in make0()
467 t->scc_root = scc_root; in make0()
486 if ( c->target->scc_root ) in make0()
489 if ( scc_root != t->scc_root ) in make0()
492 &scc_root->leaf ); in make0()
[all …]
/dports/devel/hyperscan/boost_1_75_0/tools/build/src/engine/
H A Dmake.cpp264 if ( result && t->scc_root == NULL ) in make0rescan()
266 t->scc_root = rescanning; in make0rescan()
460 if ( scc_root->fate == T_FATE_MAKING && in make0()
461 ( !scc_root->includes || in make0()
464 if ( scc_root->depth < cycle_depth ) in make0()
466 cycle_depth = scc_root->depth; in make0()
467 t->scc_root = scc_root; in make0()
486 if ( c->target->scc_root ) in make0()
489 if ( scc_root != t->scc_root ) in make0()
492 &scc_root->leaf ); in make0()
[all …]
/dports/math/spot/spot-2.10.2/spot/twaalgos/gtec/
H A Dce.cc87 int scc_root = ecs_->root.top().index; in acss_states() local
90 if (i.second >= scc_root) in acss_states()
179 int scc_root; in accepting_cycle() member
185 scc_root(ecs->root.top().index) in accepting_cycle()
198 if (i->second < scc_root) in accepting_cycle()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/gtec/
H A Dce.cc87 int scc_root = ecs_->root.top().index; in acss_states() local
90 if (i.second >= scc_root) in acss_states()
179 int scc_root; in accepting_cycle() member
185 scc_root(ecs->root.top().index) in accepting_cycle()
198 if (i->second < scc_root) in accepting_cycle()

123