static void dhcp_handler (struct instance *o, int event)
{
switch (event) {
case BDHCPCLIENT_EVENT_UP: {
ASSERT(!o->up)
o->up = 1;
NCDModuleInst_Backend_Up(o->i);
} break;
case BDHCPCLIENT_EVENT_DOWN: {
ASSERT(o->up)
o->up = 0;
NCDModuleInst_Backend_Down(o->i);
} break;
case BDHCPCLIENT_EVENT_ERROR: {
instance_free(o, 1);
return;
} break;
default: ASSERT(0);
}
}
int main(int argc, char *argv[])
{
fcs_dbm_variant_type_t local_variant = FCS_DBM_VARIANT_2FC_FREECELL;
const long delta_limit = 100000;
const int max_num_elements_in_cache = 8000000;
const char *filename = argv[1];
FILE *const fh = fopen(filename, "r");
if (fh == NULL)
{
fc_solve_err("Could not open file '%s' for input.\n", filename);
}
const fcs_user_state_str_t user_state = read_state(fh);
fcs_state_keyval_pair_t init_state_pair;
fc_solve_initial_user_state_to_c(
user_state.s, &init_state_pair, FREECELLS_NUM, STACKS_NUM, 1, NULL);
fcs_dbm_solver_instance_t instance;
instance_init(
&instance, local_variant, &init_state_pair, max_num_elements_in_cache);
#define LOG_FILENAME "fc-solve-pseudo-dfs.log.txt"
{
FILE *const last_line_fh = popen(("tail -1 " LOG_FILENAME), "r");
if (last_line_fh)
{
long count_num_processed;
if (fscanf(last_line_fh, "At %ld iterations Coords=[",
&count_num_processed) == 1)
{
instance__load_coords_from_fh(&instance, last_line_fh);
/*
* instance__inspect_new_state increments count_num_processed
* so let's set it after loading the coordinates.
* */
instance.count_num_processed = count_num_processed;
}
}
pclose(last_line_fh);
}
instance.max_count_num_processed =
instance.count_num_processed + delta_limit;
while (instance.max_count_num_processed % delta_limit != 0)
{
instance.max_count_num_processed +=
delta_limit - (instance.max_count_num_processed % delta_limit);
}
while (instance.should_terminate == DONT_TERMINATE)
{
instance_run(&instance);
FILE *const log_fh = fopen(LOG_FILENAME, "at");
instance__print_coords_to_log(&instance, log_fh);
fclose(log_fh);
instance.max_count_num_processed =
instance.count_num_processed + delta_limit;
}
if (instance.should_terminate == SOLUTION_FOUND_TERMINATE)
{
printf("%s\n", "Solution was found.");
}
else
{
printf("%s\n", "I could not solve it.");
}
instance_free(&instance);
return 0;
}
static void func_die (void *vo)
{
struct instance *o = vo;
instance_free(o, 0);
}
