Searched refs:root_atom_t (Results 1 – 8 of 8) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | term_explorer.c | 402 static term_t arith_root_atom_child(const root_atom_t *a, uint32_t i) { in arith_root_atom_child()
466 root_atom_t *a; in get_term_children()
|
| H A D | terms.h | 390 } root_atom_t; typedef
1174 static inline root_atom_t *root_atom_for_idx(const term_table_t *table, int32_t i) { in root_atom_for_idx()
1176 return (root_atom_t *) table->desc[i].ptr; in root_atom_for_idx()
1490 static inline root_atom_t *arith_root_atom_desc(const term_table_t *table, term_t t) { in arith_root_atom_desc()
|
| H A D | terms.c | 294 static root_atom_t* new_root_atom(term_table_t *table, uint32_t k, term_t x, term_t p, root_atom_re… in new_root_atom()
295 root_atom_t *atom; in new_root_atom()
297 atom = (root_atom_t *) safe_malloc(sizeof(root_atom_t)); in new_root_atom()
1067 root_atom_t *r; in eq_root_atom_hobj()
1222 root_atom_t* r; in build_root_atom_hobj()
1533 root_atom_t* r; in delete_term()
3470 static inline void mark_root_atom(term_table_t *table, int32_t ptr, root_atom_t *r) { in mark_root_atom()
|
| H A D | free_var_collector.c | 261 static harray_t *free_vars_of_root_atom(fvar_collector_t *collect, root_atom_t *r) { in free_vars_of_root_atom()
|
| H A D | full_subst.c | 603 static term_t full_subst_arith_root_atom(full_subst_t *subst, root_atom_t* r) { in full_subst_arith_root_atom()
|
| /dports/math/yices/yices-2.6.2/src/model/ |
| H A D | model_support.c | 300 static harray_t *support_of_root_atom(support_constructor_t *constructor, root_atom_t *r) { in support_of_root_atom()
|
| /dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
| H A D | poly_constraint.c | 412 root_atom_t* r = arith_root_atom_desc(terms, constraint_var_term); in poly_constraint_db_add()
|
| /dports/math/yices/yices-2.6.2/src/io/ |
| H A D | term_printer.c | 674 static void print_root_atom_term(FILE *f, term_table_t *tbl, root_atom_t *r, int32_t level) { in print_root_atom_term()
1284 static void print_root_atom(FILE *f, term_table_t *tbl, root_atom_t *r) { in print_root_atom()
2124 static void pp_root_atom(yices_pp_t *printer, term_table_t *tbl, root_atom_t *r, int32_t level) { in pp_root_atom()
|