void subcase_init_empty (struct subcase *);
void subcase_init_vars (struct subcase *,
void subcase_init_empty (struct subcase *);
void subcase_init_vars (struct subcase *,
void subcase_clone (struct subcase *, const struct subcase *);
void subcase_clear (struct subcase *);
void subcase_clone (struct subcase *, const struct subcase *);
void subcase_clear (struct subcase *);
bool subcase_contains (const struct subcase *, int case_index);
bool subcase_contains_var (const struct subcase *, const struct variable *);
bool subcase_contains (const struct subcase *, int case_index);
bool subcase_contains_var (const struct subcase *, const struct variable *);
enum subcase_direction direction);
void subcase_add_var_always (struct subcase *, const struct variable *,
enum subcase_direction);
enum subcase_direction direction);
void subcase_add_var_always (struct subcase *, const struct variable *,
enum subcase_direction);
void subcase_add_proto_always (struct subcase *, const struct caseproto *);
const struct caseproto *subcase_get_proto (const struct subcase *);
void subcase_add_proto_always (struct subcase *, const struct caseproto *);
const struct caseproto *subcase_get_proto (const struct subcase *);