enum subcase_direction direction);
bool subcase_add_var (struct subcase *, const struct variable *,
enum subcase_direction);
-bool subcase_add_vars (struct subcase *, const struct variable *const *,
+void subcase_add_vars (struct subcase *, const struct variable *const *,
size_t n_vars, enum subcase_direction);
void subcase_add_always (struct subcase *sc, int case_index, int width,
enum subcase_direction direction);
void subcase_add_var_always (struct subcase *, const struct variable *,
enum subcase_direction);
-bool subcase_add_vars_always (struct subcase *, const struct variable *const *,
+void subcase_add_vars_always (struct subcase *, const struct variable *const *,
size_t n_vars, enum subcase_direction);
void subcase_add_proto_always (struct subcase *, const struct caseproto *);
void subcase_concat (struct subcase *, const struct subcase *);
void subcase_concat_always (struct subcase *, const struct subcase *);
-void subcase_project (struct subcase *);
+void subcase_project (struct subcase *, size_t offset);
const struct caseproto *subcase_get_proto (const struct subcase *);
static inline bool subcase_is_empty (const struct subcase *);
static inline size_t subcase_get_n_fields (const struct subcase *);
+static inline size_t subcase_get_width (const struct subcase *, size_t idx);
static inline size_t subcase_get_case_index (const struct subcase *,
size_t idx);
static inline enum subcase_direction subcase_get_direction (
return sc->fields[idx].case_index;
}
+static inline size_t
+subcase_get_width (const struct subcase *sc, size_t idx)
+{
+ return sc->fields[idx].width;
+}
+
static inline enum subcase_direction
subcase_get_direction (const struct subcase *sc, size_t idx)
{