From c4c690908aa30d09d05362e42c7edd89fa434991 Mon Sep 17 00:00:00 2001 From: PBerger Date: Sat, 21 Sep 2013 01:24:34 +0200 Subject: [PATCH] Removed "static" modifier from functions which are defined as EXTERN in a header file Former-commit-id: 651af45f69a7307764812bd05ff9ba336d5447cb --- resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c b/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c index 421d920e9..51fea46c0 100644 --- a/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c +++ b/resources/3rdparty/cudd-2.5.0/src/dddmp/dddmpDdNodeCnf.c @@ -54,11 +54,11 @@ /* Static function prototypes */ /*---------------------------------------------------------------------------*/ -static int DddmpWriteNodeIndexCnf(DdNode *f, int *cnfIds, int id); -static int DddmpReadNodeIndexCnf(DdNode *f); +int DddmpWriteNodeIndexCnf(DdNode *f, int *cnfIds, int id); +int DddmpReadNodeIndexCnf(DdNode *f); static int DddmpClearVisitedCnfRecur(DdNode *f); -static int DddmpVisitedCnf(DdNode *f); -static void DddmpSetVisitedCnf(DdNode *f); +int DddmpVisitedCnf(DdNode *f); +void DddmpSetVisitedCnf(DdNode *f); static void DddmpClearVisitedCnf(DdNode *f); static int NumberNodeRecurCnf(DdNode *f, int *cnfIds, int id); static void DddmpDdNodesCheckIncomingAndScanPath(DdNode *f, int pathLengthCurrent, int edgeInTh, int pathLengthTh);