From 5f4b6b5c65b2d002dcff6642d4ab74edd4adc291 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 21 Jul 2013 20:35:40 +0000 Subject: [PATCH] Remove old unneeded code. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7113 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/jnipointer.h | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/prism/include/jnipointer.h b/prism/include/jnipointer.h index 3a8de961..79505b5e 100644 --- a/prism/include/jnipointer.h +++ b/prism/include/jnipointer.h @@ -54,20 +54,6 @@ // for sparse matrices #define jlong_to_NDSparseMatrix(x) (NDSparseMatrix *)jlong_to_ptr(x) -// for simulator -#define jlong_to_CExpression(x) (CExpression *)jlong_to_ptr(x) -#define jlong_to_CRealExpression(x) (CRealExpression *)jlong_to_ptr(x) -#define jlong_to_CNormalExpression(x) (CNormalExpression *)jlong_to_ptr(x) - -#define jlong_to_CPathFormula(x) (CPathFormula *)jlong_to_ptr(x) -#define jlong_to_CRewardFormula(x) (CRewardFormula *)jlong_to_ptr(x) - -#define jlong_to_CCommand(x) (CCommand *)jlong_to_ptr(x) -#define jlong_to_CUpdate(x) (CUpdate *)jlong_to_ptr(x) - -#define jlong_to_CStateReward(x) (CStateReward *)jlong_to_ptr(x) -#define jlong_to_CTransitionReward(x) (CTransitionReward *)jlong_to_ptr(x) - // void* <-> jlong conversions functions static inline jlong __jlongpointer ptr_to_jlong(void *ptr)