Browse Source

Compile fix (for Windows).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6248 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
commit
5f7ff4e762
  1. 4
      prism/src/sparse/PS_NondetMultiObjGS.cc

4
prism/src/sparse/PS_NondetMultiObjGS.cc

@ -174,8 +174,8 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet
double* weights = env->GetDoubleArrayElements(_weights, 0);
int* step_bounds_r = (has_rewards) ? env->GetIntArrayElements(_ndsm_r_step_bounds, 0) : NULL;
int* step_bounds = (has_yes_vec) ? env->GetIntArrayElements(_prob_step_bounds, 0) : NULL;
int* step_bounds_r = (has_rewards) ? (int*)env->GetIntArrayElements(_ndsm_r_step_bounds, 0) : NULL;
int* step_bounds = (has_yes_vec) ? (int*)env->GetIntArrayElements(_prob_step_bounds, 0) : NULL;
for(int rewi = 0; rewi < lenRew; rewi++)
if (step_bounds_r[rewi] != -1) {

Loading…
Cancel
Save