| /dports/math/yices/yices-2.6.2/src/mcsat/ |
| H A D | trail.c | 39 void trail_destruct(mcsat_trail_t* trail) { in trail_destruct()
65 void trail_print(const mcsat_trail_t* trail, FILE* out) { in trail_print()
107 void trail_new_decision(mcsat_trail_t* trail) { in trail_new_decision()
113 void trail_new_base_level(mcsat_trail_t* trail) { in trail_new_base_level()
119 uint32_t trail_pop_base_level(mcsat_trail_t* trail) { in trail_pop_base_level()
127 void trail_undo_decision(mcsat_trail_t* trail) { in trail_undo_decision()
155 void trail_undo_value(mcsat_trail_t* trail, variable_t x) { in trail_undo_value()
175 void trail_pop_decision(mcsat_trail_t* trail) { in trail_pop_decision()
205 void trail_pop_propagation(mcsat_trail_t* trail) { in trail_pop_propagation()
222 void trail_pop(mcsat_trail_t* trail) { in trail_pop()
[all …]
|
| H A D | trail.h | 100 uint32_t trail_size(const mcsat_trail_t* trail) { in trail_size()
106 bool trail_is_consistent(const mcsat_trail_t* trail) { in trail_is_consistent()
112 void trail_set_inconsistent(mcsat_trail_t* trail) { in trail_set_inconsistent()
118 variable_t trail_at(const mcsat_trail_t* trail, uint32_t i) { in trail_at()
125 variable_t trail_back(const mcsat_trail_t* trail) { in trail_back()
138 bool trail_has_value(const mcsat_trail_t* trail, variable_t var) { in trail_has_value()
147 bool trail_has_cached_value(const mcsat_trail_t* trail, variable_t var) { in trail_has_cached_value()
162 bool trail_is_at_base_level(const mcsat_trail_t* trail) { in trail_is_at_base_level()
204 uint32_t trail_get_level(const mcsat_trail_t* trail, variable_t var) { in trail_get_level()
212 uint32_t trail_get_index(const mcsat_trail_t* trail, variable_t var) { in trail_get_index()
[all …]
|
| /dports/games/diaspora/Diaspora_R1_Linux/Diaspora/fs2_open/code/weapon/ |
| H A D | trails.h | 34 typedef struct trail { struct
35 int head, tail; // pointers into the queue for the trail points argument
36 vec3d pos[NUM_TRAIL_SECTIONS]; // positions of trail points argument
39 int trail_stamp; // trail timestamp argument
42 trail_info info; // this is passed when creating a trail argument
44 struct trail * next; argument
46 } trail; typedef
|
| /dports/games/fs2open/fs2open.github.com-release_21_4_1/code/weapon/ |
| H A D | trails.h | 38 typedef struct trail { struct
39 int head, tail; // pointers into the queue for the trail points argument
40 vec3d pos[NUM_TRAIL_SECTIONS]; // positions of trail points argument
41 vec3d vel[NUM_TRAIL_SECTIONS]; // velocities of trail points (only non-zero if spread is set) argument
44 int trail_stamp; // trail timestamp argument
47 trail_info info; // this is passed when creating a trail argument
49 struct trail * next; argument
51 } trail; typedef
|
| /dports/java/java-subversion/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 47 svn_fs_base__trail_debug(trail_t *trail, const char *table, const char *op) in svn_fs_base__trail_debug()
59 print_trail_debug(trail_t *trail, in print_trail_debug()
77 #define print_trail_debug(trail, txn_body_fn_name, filename, line) argument
88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
115 abort_trail(trail_t *trail) in abort_trail()
144 commit_trail(trail_t *trail) in commit_trail()
195 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in do_retry()
206 trail_t *trail; in do_retry() local
254 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_debug()
273 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_txn()
[all …]
|
| H A D | dag.c | 134 trail_t *trail, in svn_fs_base__dag_get_node()
205 trail_t *trail) in txn_body_dag_init_fs()
282 trail_t *trail, in get_dir_entries()
345 trail_t *trail, in dir_entry_id_from_node()
375 trail_t *trail, in set_entry()
451 trail_t *trail, in make_entry()
693 trail_t *trail, in svn_fs_base__dag_txn_root()
844 trail_t *trail, in svn_fs_base__dag_delete()
1365 trail_t *trail, in svn_fs_base__dag_open()
1397 trail_t *trail, in svn_fs_base__dag_copy()
[all …]
|
| H A D | revs-txns.c | 65 trail_t *trail, in get_txn()
96 trail_t *trail, in get_rev_txn()
122 trail_t *trail, in svn_fs_base__rev_get_root()
140 trail_t *trail, in svn_fs_base__rev_get_txn_id()
249 trail_t *trail, in svn_fs_base__set_rev_prop()
368 trail_t *trail, in svn_fs_base__txn_get_revision()
383 trail_t *trail, in svn_fs_base__get_txn_ids()
402 trail_t *trail, in svn_fs_base__set_txn_root()
424 trail_t *trail, in svn_fs_base__set_txn_base()
446 trail_t *trail, in svn_fs_base__add_txn_copy()
[all …]
|
| /dports/devel/py-subversion/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 47 svn_fs_base__trail_debug(trail_t *trail, const char *table, const char *op) in svn_fs_base__trail_debug()
59 print_trail_debug(trail_t *trail, in print_trail_debug()
77 #define print_trail_debug(trail, txn_body_fn_name, filename, line) argument
88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
115 abort_trail(trail_t *trail) in abort_trail()
144 commit_trail(trail_t *trail) in commit_trail()
195 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in do_retry()
206 trail_t *trail; in do_retry() local
254 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_debug()
273 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_txn()
[all …]
|
| H A D | dag.c | 134 trail_t *trail, in svn_fs_base__dag_get_node()
205 trail_t *trail) in txn_body_dag_init_fs()
282 trail_t *trail, in get_dir_entries()
345 trail_t *trail, in dir_entry_id_from_node()
375 trail_t *trail, in set_entry()
451 trail_t *trail, in make_entry()
693 trail_t *trail, in svn_fs_base__dag_txn_root()
844 trail_t *trail, in svn_fs_base__dag_delete()
1365 trail_t *trail, in svn_fs_base__dag_open()
1397 trail_t *trail, in svn_fs_base__dag_copy()
[all …]
|
| H A D | revs-txns.c | 65 trail_t *trail, in get_txn()
96 trail_t *trail, in get_rev_txn()
122 trail_t *trail, in svn_fs_base__rev_get_root()
140 trail_t *trail, in svn_fs_base__rev_get_txn_id()
249 trail_t *trail, in svn_fs_base__set_rev_prop()
368 trail_t *trail, in svn_fs_base__txn_get_revision()
383 trail_t *trail, in svn_fs_base__get_txn_ids()
402 trail_t *trail, in svn_fs_base__set_txn_root()
424 trail_t *trail, in svn_fs_base__set_txn_base()
446 trail_t *trail, in svn_fs_base__add_txn_copy()
[all …]
|
| /dports/security/subversion-gnome-keyring/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 47 svn_fs_base__trail_debug(trail_t *trail, const char *table, const char *op) in svn_fs_base__trail_debug()
59 print_trail_debug(trail_t *trail, in print_trail_debug()
77 #define print_trail_debug(trail, txn_body_fn_name, filename, line) argument
88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
115 abort_trail(trail_t *trail) in abort_trail()
144 commit_trail(trail_t *trail) in commit_trail()
195 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in do_retry()
206 trail_t *trail; in do_retry() local
254 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_debug()
273 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_txn()
[all …]
|
| H A D | dag.c | 134 trail_t *trail, in svn_fs_base__dag_get_node()
205 trail_t *trail) in txn_body_dag_init_fs()
282 trail_t *trail, in get_dir_entries()
345 trail_t *trail, in dir_entry_id_from_node()
375 trail_t *trail, in set_entry()
451 trail_t *trail, in make_entry()
693 trail_t *trail, in svn_fs_base__dag_txn_root()
844 trail_t *trail, in svn_fs_base__dag_delete()
1365 trail_t *trail, in svn_fs_base__dag_open()
1397 trail_t *trail, in svn_fs_base__dag_copy()
[all …]
|
| H A D | revs-txns.c | 65 trail_t *trail, in get_txn()
96 trail_t *trail, in get_rev_txn()
122 trail_t *trail, in svn_fs_base__rev_get_root()
140 trail_t *trail, in svn_fs_base__rev_get_txn_id()
249 trail_t *trail, in svn_fs_base__set_rev_prop()
368 trail_t *trail, in svn_fs_base__txn_get_revision()
383 trail_t *trail, in svn_fs_base__get_txn_ids()
402 trail_t *trail, in svn_fs_base__set_txn_root()
424 trail_t *trail, in svn_fs_base__set_txn_base()
446 trail_t *trail, in svn_fs_base__add_txn_copy()
[all …]
|
| /dports/devel/p5-subversion/subversion-1.14.1/subversion/libsvn_fs_base/ |
| H A D | trail.c | 47 svn_fs_base__trail_debug(trail_t *trail, const char *table, const char *op) in svn_fs_base__trail_debug()
59 print_trail_debug(trail_t *trail, in print_trail_debug()
77 #define print_trail_debug(trail, txn_body_fn_name, filename, line) argument
88 trail_t *trail = apr_pcalloc(pool, sizeof(*trail)); in begin_trail() local
115 abort_trail(trail_t *trail) in abort_trail()
144 commit_trail(trail_t *trail) in commit_trail()
195 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in do_retry()
206 trail_t *trail; in do_retry() local
254 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_debug()
273 svn_error_t *(*txn_body)(void *baton, trail_t *trail), in svn_fs_base__retry_txn()
[all …]
|
| H A D | dag.c | 134 trail_t *trail, in svn_fs_base__dag_get_node()
205 trail_t *trail) in txn_body_dag_init_fs()
282 trail_t *trail, in get_dir_entries()
345 trail_t *trail, in dir_entry_id_from_node()
375 trail_t *trail, in set_entry()
451 trail_t *trail, in make_entry()
693 trail_t *trail, in svn_fs_base__dag_txn_root()
844 trail_t *trail, in svn_fs_base__dag_delete()
1365 trail_t *trail, in svn_fs_base__dag_open()
1397 trail_t *trail, in svn_fs_base__dag_copy()
[all …]
|
| H A D | revs-txns.c | 65 trail_t *trail, in get_txn()
96 trail_t *trail, in get_rev_txn()
122 trail_t *trail, in svn_fs_base__rev_get_root()
140 trail_t *trail, in svn_fs_base__rev_get_txn_id()
249 trail_t *trail, in svn_fs_base__set_rev_prop()
368 trail_t *trail, in svn_fs_base__txn_get_revision()
383 trail_t *trail, in svn_fs_base__get_txn_ids()
402 trail_t *trail, in svn_fs_base__set_txn_root()
424 trail_t *trail, in svn_fs_base__set_txn_base()
446 trail_t *trail, in svn_fs_base__add_txn_copy()
[all …]
|
| /dports/www/habari/habari-0.8/system/classes/ |
| H A D | site.php | 127 public static function get_url( $name, $trail = false )
240 public static function get_path( $name, $trail = false )
287 public static function get_dir( $name, $trail = false )
377 public static function out_url( $url, $trail = false )
387 public static function out_path( $path, $trail = false )
397 public static function out_dir( $dir, $trail = false )
|
| /dports/math/yices/yices-2.6.2/src/mcsat/bool/ |
| H A D | literal.h | 76 bool literal_has_value(mcsat_literal_t l, const mcsat_trail_t* trail) { in literal_has_value()
82 mcsat_literal_t literal_construct_from_trail(variable_t x, const mcsat_trail_t* trail) { in literal_construct_from_trail()
89 uint32_t literal_get_level(mcsat_literal_t l, const mcsat_trail_t* trail) { in literal_get_level()
96 bool literal_has_value_at_base(mcsat_literal_t l, const mcsat_trail_t* trail) { in literal_has_value_at_base()
102 bool literal_get_value(mcsat_literal_t l, const mcsat_trail_t* trail) { in literal_get_value()
118 bool literal_is_false(mcsat_literal_t l, const mcsat_trail_t* trail) { in literal_is_false()
124 bool literal_is_true(mcsat_literal_t l, const mcsat_trail_t* trail) { in literal_is_true()
|
| /dports/games/gnujump/gnujump-1.0.8/src/ |
| H A D | effects-trail.c | 33 trail_t *trail = malloc (sizeof (trail_t)); in makeTrail() local
48 trail_t *trail; in updateTrails() local
85 trail_t *trail; in scrollTrails() local
97 drawTrail (data_t * gfx, trail_t * trail, int player) in drawTrail()
162 trail_t *trail = hero->trail; in freeTrails() local
|
| /dports/astro/stellarium/stellarium-0.21.3/src/core/ |
| H A D | TrailGroup.cpp | 44 for (const auto& trail : qAsConst(allTrails)) in draw() local
74 for (auto& trail : allTrails) in update() local
81 for (auto& trail : allTrails) in update() local
98 for (auto& trail : allTrails) in reset() local
|
| /dports/lang/ocaml/ocaml-4.05.0/byterun/ |
| H A D | startup.c | 78 static int read_trailer(int fd, struct exec_trailer *trail) in read_trailer()
91 int caml_attempt_open(char **name, struct exec_trailer *trail, in caml_attempt_open()
130 void caml_read_section_descriptors(int fd, struct exec_trailer *trail) in caml_read_section_descriptors()
148 int32_t caml_seek_optional_section(int fd, struct exec_trailer *trail, in caml_seek_optional_section()
168 int32_t caml_seek_section(int fd, struct exec_trailer *trail, char *name) in caml_seek_section()
179 static char * read_section(int fd, struct exec_trailer *trail, char *name) in read_section()
281 struct exec_trailer trail; in caml_main() local
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/byterun/ |
| H A D | startup.c | 78 static int read_trailer(int fd, struct exec_trailer *trail) in read_trailer()
91 int caml_attempt_open(char **name, struct exec_trailer *trail, in caml_attempt_open()
130 void caml_read_section_descriptors(int fd, struct exec_trailer *trail) in caml_read_section_descriptors()
148 int32_t caml_seek_optional_section(int fd, struct exec_trailer *trail, in caml_seek_optional_section()
168 int32_t caml_seek_section(int fd, struct exec_trailer *trail, char *name) in caml_seek_section()
179 static char * read_section(int fd, struct exec_trailer *trail, char *name) in read_section()
281 struct exec_trailer trail; in caml_main() local
|
| /dports/java/java-subversion/subversion-1.14.1/subversion/tests/libsvn_fs_base/ |
| H A D | strings-reps-test.c | 54 txn_body_write_new_rep(void *baton, trail_t *trail) in txn_body_write_new_rep()
65 txn_body_write_rep(void *baton, trail_t *trail) in txn_body_write_rep()
76 txn_body_read_rep(void *baton, trail_t *trail) in txn_body_read_rep()
88 txn_body_delete_rep(void *baton, trail_t *trail) in txn_body_delete_rep()
337 trail_t *trail) in verify_expected_record()
400 txn_body_verify_string(void *baton, trail_t *trail) in txn_body_verify_string()
408 txn_body_string_append(void *baton, trail_t *trail) in txn_body_string_append()
417 txn_body_string_clear(void *baton, trail_t *trail) in txn_body_string_clear()
425 txn_body_string_delete(void *baton, trail_t *trail) in txn_body_string_delete()
433 txn_body_string_size(void *baton, trail_t *trail) in txn_body_string_size()
[all …]
|
| /dports/devel/py-subversion/subversion-1.14.1/subversion/tests/libsvn_fs_base/ |
| H A D | strings-reps-test.c | 54 txn_body_write_new_rep(void *baton, trail_t *trail) in txn_body_write_new_rep()
65 txn_body_write_rep(void *baton, trail_t *trail) in txn_body_write_rep()
76 txn_body_read_rep(void *baton, trail_t *trail) in txn_body_read_rep()
88 txn_body_delete_rep(void *baton, trail_t *trail) in txn_body_delete_rep()
337 trail_t *trail) in verify_expected_record()
400 txn_body_verify_string(void *baton, trail_t *trail) in txn_body_verify_string()
408 txn_body_string_append(void *baton, trail_t *trail) in txn_body_string_append()
417 txn_body_string_clear(void *baton, trail_t *trail) in txn_body_string_clear()
425 txn_body_string_delete(void *baton, trail_t *trail) in txn_body_string_delete()
433 txn_body_string_size(void *baton, trail_t *trail) in txn_body_string_size()
[all …]
|
| /dports/security/subversion-gnome-keyring/subversion-1.14.1/subversion/tests/libsvn_fs_base/ |
| H A D | strings-reps-test.c | 54 txn_body_write_new_rep(void *baton, trail_t *trail) in txn_body_write_new_rep()
65 txn_body_write_rep(void *baton, trail_t *trail) in txn_body_write_rep()
76 txn_body_read_rep(void *baton, trail_t *trail) in txn_body_read_rep()
88 txn_body_delete_rep(void *baton, trail_t *trail) in txn_body_delete_rep()
337 trail_t *trail) in verify_expected_record()
400 txn_body_verify_string(void *baton, trail_t *trail) in txn_body_verify_string()
408 txn_body_string_append(void *baton, trail_t *trail) in txn_body_string_append()
417 txn_body_string_clear(void *baton, trail_t *trail) in txn_body_string_clear()
425 txn_body_string_delete(void *baton, trail_t *trail) in txn_body_string_delete()
433 txn_body_string_size(void *baton, trail_t *trail) in txn_body_string_size()
[all …]
|