Home
last modified time | relevance | path

Searched refs:NUM_VALUE_KIND (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/src/model/
H A Dval_to_term.c224 static const int32_t convert_code[NUM_VALUE_KIND] = {
238 return (k < NUM_VALUE_KIND) ? convert_code[k] : CONVERT_INTERNAL_ERROR; in get_convert_code()
H A Dconcrete_values.h121 #define NUM_VALUE_KIND ((uint32_t) (UPDATE_VALUE + 1)) macro
/dports/math/yices/yices-2.6.2/src/api/
H A Dyval.c102 static const yval_tag_t val_kind2tag[NUM_VALUE_KIND] = {