static Bool set_prod_iter_is_valid(const SetIter* iter) { return iter != NULL && SID_ok2(iter->prod, SET_PROD_ITER_SID) && iter->prod.iter_a != NULL && iter->prod.iter_b != NULL; }
/* ------------------------------------------------------------------------- * --- valid * ------------------------------------------------------------------------- */ static Bool set_empty_is_valid(const Set* set) { return set != NULL && SID_ok2(set->empty, SET_EMPTY_SID) && set->head.refc > 0 && set->head.members == 0; }
static Bool set_range_iter_is_valid(const SetIter* iter) { return iter != NULL && SID_ok2(iter->range, SET_RANGE_ITER_SID) && iter->range.first >= 0 && iter->range.last >= 0 && iter->range.now >= iter->range.first; }
/* ------------------------------------------------------------------------- * --- valid * ------------------------------------------------------------------------- */ static Bool set_range_is_valid(const Set* set) { return set != NULL && SID_ok2(set->range, SET_RANGE_SID) && set->head.refc > 0 && set->head.dim == 1; }
/* ------------------------------------------------------------------------- * --- valid * ------------------------------------------------------------------------- */ static Bool set_pseudo_is_valid(const Set* set) { return set != NULL && SID_ok2(set->pseudo, SET_PSEUDO_SID) && set->head.refc > 0 && set->head.dim == 0 && set->head.members == 1; }
/* ------------------------------------------------------------------------- * --- valid * ------------------------------------------------------------------------- */ static Bool set_prod_is_valid(const Set* set) { return set != NULL && SID_ok2(set->prod, SET_PROD_SID) && set->head.refc > 0 && set->head.dim > 1 && set_is_valid(set->prod.set_a) && set_is_valid(set->prod.set_b); }
static Bool set_empty_iter_is_valid(const SetIter* iter) { return iter != NULL && SID_ok2(iter->empty, SET_EMPTY_ITER_SID); }
static Bool set_pseudo_iter_is_valid(const SetIter* iter) { return iter != NULL && SID_ok2(iter->pseudo, SET_PSEUDO_ITER_SID); }