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 *,
+ 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 *,
+ 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 *);
+
const struct caseproto *subcase_get_proto (const struct subcase *);
static inline bool subcase_is_empty (const struct subcase *);