Searched refs:lpair_set_t (Results 1 – 2 of 2) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/scratch/ |
| H A D | update_graph.c | 166 static void init_lpair_set(lpair_set_t *set, type_table_t *types) { in init_lpair_set()
177 static void extend_lpair_set(lpair_set_t *set) { in extend_lpair_set()
202 static void lpair_set_push(lpair_set_t *set, int32_t tag, type_t tau) { in lpair_set_push()
219 static inline void reset_lpair_set(lpair_set_t *set) { in reset_lpair_set()
227 static void delete_lpair_set(lpair_set_t *set) { in delete_lpair_set()
237 static inline bool lpair_set_is_empty(lpair_set_t *set) { in lpair_set_is_empty()
246 static bool lpair_set_has_match(lpair_set_t *set, int32_t tag, type_t tau) { in lpair_set_has_match()
269 static bool lpair_set_member(lpair_set_t *set, int32_t tag, type_t tau) { in lpair_set_member()
291 static void lpair_set_add(lpair_set_t *set, int32_t tag, type_t tau) { in lpair_set_add()
301 static inline void lpair_set_add_ftype(lpair_set_t *set, int32_t tag, type_t tau) { in lpair_set_add_ftype()
|
| H A D | update_graph.h | 116 } lpair_set_t; typedef
169 lpair_set_t lpair_set; // types of lambda terms
|