C++ (Cpp) get_row_set 예제들

예제 #1

파일: predabs_domain.cpp 프로젝트: diffblue/2ls

const exprt predabs_domaint::initialize_solver(
  const local_SSAt &SSA,
  const exprt &precondition,
  template_generator_baset &template_generator)
{
  get_row_set(todo_preds);
  return true_exprt();
}

예제 #2

파일: flippie.cpp 프로젝트: 545ch4/flippie

// return shift-register in shortend form as json string
String Flippie::shift_register_as_json() {
  char *r = (char *)malloc(1024);
  unsigned char r_len =
      sprintf(r, "{\n\t\"address\": %i,\n\t\"column\": %i,\n\t\"row_set\": "
                 "%i,\n\t\"row_rst\": %i,\n\t\"led_A\": %u,\n\t\"led_B\": "
                 "%u,\n\t\"led_C\": %u,\n\t\"d\": %u\n}\n\0",
              get_address(), get_column(), get_row_set(), get_row_rst(),
              led_A_on ? 1 : 0, led_B_on ? 1 : 0, led_C_on ? 1 : 0, get_d());
  String s(r);
  free(r);
  return s;
}