diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

SimpleCUDD versioning

Browse Source
This commit is contained in:
Theofrastos Mantadelis 2010-10-06 13:24:25 +02:00
parent d1839b730c
commit 1342d2dab2
7 changed files with 24 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/ProbLog/simplecudd/general.c
View File

@ -7,6 +7,8 @@
* *
* Author: Theofrastos Mantadelis *
* File: general.c *
* $Date:: 2010-10-06 13:20:59 +0200 (Wed, 06 Oct 2010) $ *
* $Revision:: 4880 $ *
* *
********************************************************************************
* *

2
packages/ProbLog/simplecudd/general.h
View File

@ -7,6 +7,8 @@
* *
* Author: Theofrastos Mantadelis *
* File: general.h *
* $Date:: 2010-10-06 13:20:59 +0200 (Wed, 06 Oct 2010) $ *
* $Revision:: 4880 $ *
* *
********************************************************************************
* *

2
packages/ProbLog/simplecudd/problogbdd.c
View File

@ -7,6 +7,8 @@
* *
* Author: Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann *
* File: problogbdd.c *
* $Date:: 2010-10-06 13:22:55 +0200 (Wed, 06 Oct 2010) $ *
* $Revision:: 4881 $ *
* *
********************************************************************************
* *

2
packages/ProbLog/simplecudd/problogmath.c
View File

@ -7,6 +7,8 @@
* *
* Author: Bernd Gutmann *
* File: problogmath.c *
* $Date:: 2010-10-06 13:20:59 +0200 (Wed, 06 Oct 2010) $ *
* $Revision:: 4880 $ *
* *
********************************************************************************
* *

4
packages/ProbLog/simplecudd/problogmath.h
View File

@ -7,8 +7,8 @@
* *
* Author: Bernd Gutmann *
* File: problogmath.h *
* $Date:: 2010-02-18 18:04:54 +0100 (Thu, 18 Feb 2010) $ *
* $Revision:: 3623 $ *
* $Date:: 2010-10-06 13:20:59 +0200 (Wed, 06 Oct 2010) $ *
* $Revision:: 4880 $ *
* *
********************************************************************************
* *

13
packages/ProbLog/simplecudd/simplecudd.c
View File

@ -7,6 +7,8 @@
* *
* Author: Theofrastos Mantadelis *
* File: simplecudd.c *
* $Date:: 2010-10-06 13:20:59 +0200 (Wed, 06 Oct 2010) $ *
* $Revision:: 4880 $ *
* *
********************************************************************************
* *
@ -1710,7 +1712,16 @@ void onlinetraverse(DdManager *manager, namedvars varmap, hisqueue *HisQueue, Dd
switch(inputline[1]) {
case '?':
printf("Available instructions:\n\t@c : current node\n\t@n,[BFS, DFS] : expand and go to next node\n\t@t,[BFS, DFS] : throw and go to next node\n");
printf("\t@h : high node of current\n\t@l : low node of current\n\t@v,[variable] : variable values\n\t@e terminates\n");
printf("\t@h : high node of current\n\t@l : low node of current\n\t@v,[variable] : variable values\n\t@r restart traverse from parent node\n\t@e terminates\n");
break;
case 'r':
curnode = bdd;
iQsize = 0;
iRoot = 1;
free(Q);
Q = (DdNode **) malloc(sizeof(DdNode *) * iQsize);
Q2 = NULL;
ReInitHistory(his, varmap.varcnt);
break;
case 'c':
if (iRoot) {

2
packages/ProbLog/simplecudd/simplecudd.h
View File

@ -7,6 +7,8 @@
* *
* Author: Theofrastos Mantadelis *
* File: simplecudd.h *
* $Date:: 2010-10-06 13:20:59 +0200 (Wed, 06 Oct 2010) $ *
* $Revision:: 4880 $ *
* *
********************************************************************************
* *