C++ (Cpp) qdpll_get_max_declared_var_idの例

コード例 #1

static void
print_deps (QDPLLApp * app, QDPLL * qdpll)
{
  VarID i, max;
  for (i = 1, max = qdpll_get_max_declared_var_id (qdpll); i <= max; i++)
    {
      fprintf (stdout, "%u: ", i);
      qdpll_print_deps (qdpll, i);
      fprintf (stdout, "\n");
    }
  fprintf (stdout, "\n");
}

コード例 #2

ファイル: DepQBF4J.c プロジェクト: sadger/depqbf

JNIEXPORT jint JNICALL Java_depqbf4j_DepQBF4J_getMaxDeclaredVarId (JNIEnv * env, jclass cls) {
	return qdpll_get_max_declared_var_id (solver);
}