static void read_rules(pp_knowledge *k) { read_form_a_cycle_rules(k, "FORM_A_CYCLE_RULES"); read_connected_rule(k, "CONNECTED_RULES"); read_bounded_rules(k, "BOUNDED_RULES"); read_contains_rules(k, "CONTAINS_ONE_RULES" , &(k->contains_one_rules), &(k->n_contains_one_rules)); read_contains_rules(k, "CONTAINS_NONE_RULES", &(k->contains_none_rules), &(k->n_contains_none_rules)); }
static bool read_rules(pp_knowledge *k) { if (!read_form_a_cycle_rules(k, "FORM_A_CYCLE_RULES")) return false; if (!read_bounded_rules(k, "BOUNDED_RULES")) return false; if (!read_contains_rules(k, "CONTAINS_ONE_RULES" , &(k->contains_one_rules), &(k->n_contains_one_rules))) return false; if (!read_contains_rules(k, "CONTAINS_NONE_RULES", &(k->contains_none_rules), &(k->n_contains_none_rules))) return false; return true; }