| /dports/math/yices/yices-2.6.2/src/mcsat/ |
| H A D | trail.c | 40 trail->var_db = NULL; in trail_destruct()
110 ivector_push(&trail->level_sizes, trail->elements.size); in trail_new_decision()
114 assert(trail->decision_level == trail->decision_level_base); in trail_new_base_level()
116 trail->decision_level_base = trail->decision_level; in trail_new_base_level()
120 assert(trail->decision_level == trail->decision_level_base); in trail_pop_base_level()
141 trail->index.data[x] = trail->elements.size; in trail_set_value()
170 trail_set_value(trail, x, value, id, DECISION, trail->decision_level); in trail_add_decision()
189 trail->index.data[x] = trail->elements.size; in trail_pop_decision()
223 assert(trail->decision_level >= trail->decision_level_base); in trail_pop()
226 …while (trail->elements.size > target_size && trail_get_assignment_type(trail, trail_back(trail)) !… in trail_pop()
[all …]
|
| H A D | trail.h | 101 return trail->elements.size; in trail_size()
107 return !trail->inconsistent; in trail_is_consistent()
113 trail->inconsistent = true; in trail_set_inconsistent()
127 return trail->elements.data[trail->elements.size - 1]; in trail_back()
157 return trail->level.data[var] >= 0 && trail->level.data[var] <= trail->decision_level_base; in trail_has_value_at_base()
163 return trail->decision_level == trail->decision_level_base; in trail_is_at_base_level()
227 assert(x < trail->type.size); in trail_get_assignment_type()
228 return trail->type.data[x]; in trail_get_assignment_type()
234 assert(x < trail->id.size); in trail_get_source_id()
235 return trail->id.data[x]; in trail_get_source_id()
[all …]
|
| /dports/games/gnujump/gnujump-1.0.8/src/ |
| H A D | effects-trail.c | 52 trail = hero->trail; in updateTrails()
58 hero->trail = trail->next; in updateTrails()
60 trail = hero->trail; in updateTrails()
63 trail = trail->next; in updateTrails()
70 hero->trail = trail->next; in updateTrails()
72 trail = hero->trail; in updateTrails()
87 trail = hero->trail; in scrollTrails()
92 trail = trail->next; in scrollTrails()
155 trail = trail->next; in drawTrail()
162 trail_t *trail = hero->trail; in freeTrails() local
[all …]
|
| /dports/games/xconq/xconq-7.5.0-0pre.0.20050612/misc/ |
| H A D | per2g | 201 $trail = "$1";
208 print "$trail";
219 print qq/(game-module (title $1))/, ($trail)? "\t$trail" : '';
242 print "$trail" if $trail;
252 print "(add $utype{$2} image-name $1)", ($trail)? "\t$trail" : '';
257 print "(define $2 $1)", ($trail)? "\t$trail" : '';
261 print "(namer $1-names (random", ($trail)? "\t$trail" : '';
293 print "(add u* $vars{$key} $1)", ($trail)? "\t$trail" : '';
301 print "(set $vars{$key} $1)", ($trail)? "\t$trail" : '';
314 print "(add $2 $props{$key} $val)", ($trail)? "\t$trail" : '';
[all …]
|
| /dports/www/drupal8/drupal-8.9.20/core/modules/system/tests/src/Functional/Menu/ |
| H A D | BreadcrumbTest.php | 81 $trail += [
85 $trail += [
97 $trail += [
102 $trail += [
115 $trail += [
125 $trail += [
139 $trail += [
146 $trail += [
161 $trail += [
167 $trail = [];
[all …]
|
| /dports/www/drupal9/drupal-9.2.10/core/modules/system/tests/src/Functional/Menu/ |
| H A D | BreadcrumbTest.php | 81 $trail += [
85 $trail += [
97 $trail += [
102 $trail += [
115 $trail += [
125 $trail += [
139 $trail += [
146 $trail += [
161 $trail += [
167 $trail = [];
[all …]
|
| /dports/www/ikiwiki/ikiwiki-3.20200202.3/IkiWiki/Plugin/ |
| H A D | trail.pm | 6 package IkiWiki::Plugin::trail;
128 my $trail = $params{page};
174 my $trail = $params{page};
244 title_of($trail) ne $old_trail_titles{$trail}) {
291 next unless exists $pagestate{$trail}{trail}{contents};
294 my @contents = @{$pagestate{$trail}{trail}{contents}};
321 if (defined $pagestate{$trail}{trail}{sort}) {
323 $pagestate{$trail}{trail}{sort},
327 if (IkiWiki::yesno $pagestate{$trail}{trail}{reverse}) {
349 if ((scalar @$members) > 1 && $pagestate{$trail}{trail}{circular}) {
[all …]
|
| /dports/java/java-subversion/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
91 trail->fs = fs; in begin_trail()
106 trail->db_txn = NULL; in begin_trail()
109 *trail_p = trail; in begin_trail()
115 abort_trail(trail_t *trail) in abort_trail() argument
117 svn_fs_t *fs = trail->fs; in abort_trail()
120 if (trail->db_txn) in abort_trail()
135 trail->db_txn->abort(trail->db_txn))); in abort_trail()
153 if (trail->db_txn) in commit_trail()
159 trail->db_txn->commit(trail->db_txn, 0))); in commit_trail()
[all …]
|
| H A D | dag.c | 210 svn_fs_t *fs = trail->fs; in txn_body_dag_init_fs()
221 trail, trail->pool)); in txn_body_dag_init_fs()
224 SVN_ERR(svn_fs_bdb__create_txn(&txn_id, fs, root_id, trail, trail->pool)); in txn_body_dag_init_fs()
232 SVN_ERR(svn_fs_bdb__reserve_copy_id(©_id, fs, trail, trail->pool)); in txn_body_dag_init_fs()
238 copy_kind_real, trail, trail->pool)); in txn_body_dag_init_fs()
242 SVN_ERR(svn_fs_bdb__put_rev(&rev, fs, &revision, trail, trail->pool)); in txn_body_dag_init_fs()
250 trail, trail->pool)); in txn_body_dag_init_fs()
256 trail, trail->pool); in txn_body_dag_init_fs()
375 trail_t *trail, in set_entry() argument
451 trail_t *trail, in make_entry() argument
[all …]
|
| H A D | revs-txns.c | 157 return svn_fs_bdb__youngest_rev(baton, trail->fs, trail, trail->pool); in txn_body_youngest_rev()
187 SVN_ERR(get_rev_txn(&txn, NULL, trail->fs, args->rev, trail, trail->pool)); in txn_body_revision_proplist()
312 trail, trail->pool); in txn_body_change_rev_prop()
483 SVN_ERR(get_txn(&txn, trail->fs, args->id, FALSE, trail, trail->pool)); in txn_body_txn_proplist()
700 trail, trail->pool)); in txn_body_begin_txn()
702 trail, trail->pool)); in txn_body_begin_txn()
798 SVN_ERR(get_txn(&fstxn, trail->fs, args->name, FALSE, trail, trail->pool)); in txn_body_open_txn()
843 trail, trail->pool); in txn_body_cleanup_txn()
869 return svn_fs_bdb__changes_delete(trail->fs, key, trail, trail->pool); in txn_body_cleanup_txn_changes()
889 trail, trail->pool)); in txn_body_get_dirents()
[all …]
|
| H A D | tree.c | 1324 trail, trail->pool)); in txn_body_change_node_prop()
3043 trail, trail->pool); in txn_body_make_dir()
3089 trail, trail->pool)); in txn_body_delete()
3487 trail, trail->pool); in txn_body_make_file()
3799 trail, trail->pool)); in txn_body_apply_textdelta()
3979 trail, trail->pool)); in txn_body_apply_text()
4374 trail, trail->pool)); in txn_body_history_prev()
4475 trail, trail->pool)); in txn_body_history_prev()
4625 trail, trail->pool)); in txn_body_closest_copy()
4660 trail, trail->pool); in txn_body_closest_copy()
[all …]
|
| H A D | lock.c | 54 trail, trail->pool)); in add_lock_and_token()
56 trail, trail->pool); in add_lock_and_token()
68 trail, trail->pool)); in delete_lock_and_token()
70 trail, trail->pool); in delete_lock_and_token()
132 if (!trail->fs->access_ctx || !trail->fs->access_ctx->username) in txn_body_lock()
192 trail, trail->pool)); in txn_body_lock()
332 trail, trail->pool)); in txn_body_unlock()
344 trail, trail->pool)); in txn_body_unlock()
455 trail, trail->pool); in txn_body_get_lock()
520 trail, trail->pool); in txn_body_get_locks()
[all …]
|
| /dports/devel/py-subversion/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
91 trail->fs = fs; in begin_trail()
106 trail->db_txn = NULL; in begin_trail()
109 *trail_p = trail; in begin_trail()
115 abort_trail(trail_t *trail) in abort_trail() argument
117 svn_fs_t *fs = trail->fs; in abort_trail()
120 if (trail->db_txn) in abort_trail()
135 trail->db_txn->abort(trail->db_txn))); in abort_trail()
153 if (trail->db_txn) in commit_trail()
159 trail->db_txn->commit(trail->db_txn, 0))); in commit_trail()
[all …]
|
| H A D | dag.c | 210 svn_fs_t *fs = trail->fs; in txn_body_dag_init_fs()
221 trail, trail->pool)); in txn_body_dag_init_fs()
224 SVN_ERR(svn_fs_bdb__create_txn(&txn_id, fs, root_id, trail, trail->pool)); in txn_body_dag_init_fs()
232 SVN_ERR(svn_fs_bdb__reserve_copy_id(©_id, fs, trail, trail->pool)); in txn_body_dag_init_fs()
238 copy_kind_real, trail, trail->pool)); in txn_body_dag_init_fs()
242 SVN_ERR(svn_fs_bdb__put_rev(&rev, fs, &revision, trail, trail->pool)); in txn_body_dag_init_fs()
250 trail, trail->pool)); in txn_body_dag_init_fs()
256 trail, trail->pool); in txn_body_dag_init_fs()
375 trail_t *trail, in set_entry() argument
451 trail_t *trail, in make_entry() argument
[all …]
|
| H A D | revs-txns.c | 157 return svn_fs_bdb__youngest_rev(baton, trail->fs, trail, trail->pool); in txn_body_youngest_rev()
187 SVN_ERR(get_rev_txn(&txn, NULL, trail->fs, args->rev, trail, trail->pool)); in txn_body_revision_proplist()
312 trail, trail->pool); in txn_body_change_rev_prop()
483 SVN_ERR(get_txn(&txn, trail->fs, args->id, FALSE, trail, trail->pool)); in txn_body_txn_proplist()
700 trail, trail->pool)); in txn_body_begin_txn()
702 trail, trail->pool)); in txn_body_begin_txn()
798 SVN_ERR(get_txn(&fstxn, trail->fs, args->name, FALSE, trail, trail->pool)); in txn_body_open_txn()
843 trail, trail->pool); in txn_body_cleanup_txn()
869 return svn_fs_bdb__changes_delete(trail->fs, key, trail, trail->pool); in txn_body_cleanup_txn_changes()
889 trail, trail->pool)); in txn_body_get_dirents()
[all …]
|
| H A D | tree.c | 1324 trail, trail->pool)); in txn_body_change_node_prop()
3043 trail, trail->pool); in txn_body_make_dir()
3089 trail, trail->pool)); in txn_body_delete()
3487 trail, trail->pool); in txn_body_make_file()
3799 trail, trail->pool)); in txn_body_apply_textdelta()
3979 trail, trail->pool)); in txn_body_apply_text()
4374 trail, trail->pool)); in txn_body_history_prev()
4475 trail, trail->pool)); in txn_body_history_prev()
4625 trail, trail->pool)); in txn_body_closest_copy()
4660 trail, trail->pool); in txn_body_closest_copy()
[all …]
|
| H A D | lock.c | 54 trail, trail->pool)); in add_lock_and_token()
56 trail, trail->pool); in add_lock_and_token()
68 trail, trail->pool)); in delete_lock_and_token()
70 trail, trail->pool); in delete_lock_and_token()
132 if (!trail->fs->access_ctx || !trail->fs->access_ctx->username) in txn_body_lock()
192 trail, trail->pool)); in txn_body_lock()
332 trail, trail->pool)); in txn_body_unlock()
344 trail, trail->pool)); in txn_body_unlock()
455 trail, trail->pool); in txn_body_get_lock()
520 trail, trail->pool); in txn_body_get_locks()
[all …]
|
| /dports/security/subversion-gnome-keyring/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
91 trail->fs = fs; in begin_trail()
106 trail->db_txn = NULL; in begin_trail()
109 *trail_p = trail; in begin_trail()
115 abort_trail(trail_t *trail) in abort_trail() argument
117 svn_fs_t *fs = trail->fs; in abort_trail()
120 if (trail->db_txn) in abort_trail()
135 trail->db_txn->abort(trail->db_txn))); in abort_trail()
153 if (trail->db_txn) in commit_trail()
159 trail->db_txn->commit(trail->db_txn, 0))); in commit_trail()
[all …]
|
| H A D | dag.c | 210 svn_fs_t *fs = trail->fs; in txn_body_dag_init_fs()
221 trail, trail->pool)); in txn_body_dag_init_fs()
224 SVN_ERR(svn_fs_bdb__create_txn(&txn_id, fs, root_id, trail, trail->pool)); in txn_body_dag_init_fs()
232 SVN_ERR(svn_fs_bdb__reserve_copy_id(©_id, fs, trail, trail->pool)); in txn_body_dag_init_fs()
238 copy_kind_real, trail, trail->pool)); in txn_body_dag_init_fs()
242 SVN_ERR(svn_fs_bdb__put_rev(&rev, fs, &revision, trail, trail->pool)); in txn_body_dag_init_fs()
250 trail, trail->pool)); in txn_body_dag_init_fs()
256 trail, trail->pool); in txn_body_dag_init_fs()
375 trail_t *trail, in set_entry() argument
451 trail_t *trail, in make_entry() argument
[all …]
|
| H A D | revs-txns.c | 157 return svn_fs_bdb__youngest_rev(baton, trail->fs, trail, trail->pool); in txn_body_youngest_rev()
187 SVN_ERR(get_rev_txn(&txn, NULL, trail->fs, args->rev, trail, trail->pool)); in txn_body_revision_proplist()
312 trail, trail->pool); in txn_body_change_rev_prop()
483 SVN_ERR(get_txn(&txn, trail->fs, args->id, FALSE, trail, trail->pool)); in txn_body_txn_proplist()
700 trail, trail->pool)); in txn_body_begin_txn()
702 trail, trail->pool)); in txn_body_begin_txn()
798 SVN_ERR(get_txn(&fstxn, trail->fs, args->name, FALSE, trail, trail->pool)); in txn_body_open_txn()
843 trail, trail->pool); in txn_body_cleanup_txn()
869 return svn_fs_bdb__changes_delete(trail->fs, key, trail, trail->pool); in txn_body_cleanup_txn_changes()
889 trail, trail->pool)); in txn_body_get_dirents()
[all …]
|
| H A D | tree.c | 1324 trail, trail->pool)); in txn_body_change_node_prop()
3043 trail, trail->pool); in txn_body_make_dir()
3089 trail, trail->pool)); in txn_body_delete()
3487 trail, trail->pool); in txn_body_make_file()
3799 trail, trail->pool)); in txn_body_apply_textdelta()
3979 trail, trail->pool)); in txn_body_apply_text()
4374 trail, trail->pool)); in txn_body_history_prev()
4475 trail, trail->pool)); in txn_body_history_prev()
4625 trail, trail->pool)); in txn_body_closest_copy()
4660 trail, trail->pool); in txn_body_closest_copy()
[all …]
|
| /dports/devel/p5-subversion/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
91 trail->fs = fs; in begin_trail()
106 trail->db_txn = NULL; in begin_trail()
109 *trail_p = trail; in begin_trail()
115 abort_trail(trail_t *trail) in abort_trail() argument
117 svn_fs_t *fs = trail->fs; in abort_trail()
120 if (trail->db_txn) in abort_trail()
135 trail->db_txn->abort(trail->db_txn))); in abort_trail()
153 if (trail->db_txn) in commit_trail()
159 trail->db_txn->commit(trail->db_txn, 0))); in commit_trail()
[all …]
|
| H A D | dag.c | 210 svn_fs_t *fs = trail->fs; in txn_body_dag_init_fs()
221 trail, trail->pool)); in txn_body_dag_init_fs()
224 SVN_ERR(svn_fs_bdb__create_txn(&txn_id, fs, root_id, trail, trail->pool)); in txn_body_dag_init_fs()
232 SVN_ERR(svn_fs_bdb__reserve_copy_id(©_id, fs, trail, trail->pool)); in txn_body_dag_init_fs()
238 copy_kind_real, trail, trail->pool)); in txn_body_dag_init_fs()
242 SVN_ERR(svn_fs_bdb__put_rev(&rev, fs, &revision, trail, trail->pool)); in txn_body_dag_init_fs()
250 trail, trail->pool)); in txn_body_dag_init_fs()
256 trail, trail->pool); in txn_body_dag_init_fs()
375 trail_t *trail, in set_entry() argument
451 trail_t *trail, in make_entry() argument
[all …]
|
| H A D | revs-txns.c | 157 return svn_fs_bdb__youngest_rev(baton, trail->fs, trail, trail->pool); in txn_body_youngest_rev()
187 SVN_ERR(get_rev_txn(&txn, NULL, trail->fs, args->rev, trail, trail->pool)); in txn_body_revision_proplist()
312 trail, trail->pool); in txn_body_change_rev_prop()
483 SVN_ERR(get_txn(&txn, trail->fs, args->id, FALSE, trail, trail->pool)); in txn_body_txn_proplist()
700 trail, trail->pool)); in txn_body_begin_txn()
702 trail, trail->pool)); in txn_body_begin_txn()
798 SVN_ERR(get_txn(&fstxn, trail->fs, args->name, FALSE, trail, trail->pool)); in txn_body_open_txn()
843 trail, trail->pool); in txn_body_cleanup_txn()
869 return svn_fs_bdb__changes_delete(trail->fs, key, trail, trail->pool); in txn_body_cleanup_txn_changes()
889 trail, trail->pool)); in txn_body_get_dirents()
[all …]
|
| H A D | tree.c | 1324 trail, trail->pool)); in txn_body_change_node_prop()
3043 trail, trail->pool); in txn_body_make_dir()
3089 trail, trail->pool)); in txn_body_delete()
3487 trail, trail->pool); in txn_body_make_file()
3799 trail, trail->pool)); in txn_body_apply_textdelta()
3979 trail, trail->pool)); in txn_body_apply_text()
4374 trail, trail->pool)); in txn_body_history_prev()
4475 trail, trail->pool)); in txn_body_history_prev()
4625 trail, trail->pool)); in txn_body_closest_copy()
4660 trail, trail->pool); in txn_body_closest_copy()
[all …]
|