[service-technology.org] r9469 - in /trunk/lola2/src: Exploration/TSCCExplorationEFAGEF.cc Planning/Task.cc

[markusvalentin19]

Author: vm069
Date: Tue May 27 14:14:32 2014
New Revision: 9469

URL: http://svn.gna.org/viewcvs/service-tech?rev=9469&view=rev
Log:
fixed Compiler-Warnings

Modified:
    trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc
    trunk/lola2/src/Planning/Task.cc

Modified: trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc
URL: 
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc?rev=9469&r1=9468&r2=9469&view=diff
==============================================================================
--- trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc        (original)
+++ trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc        Tue May 27 
14:14:32 2014
@@ -33,8 +33,6 @@
     index_t *currentFirelist;
     index_t currentEntry = myFirelist.getFirelist(ns, &currentFirelist);
 
-    //init boolean result
-    bool result = true;
 
     //last dfs where property was true
     index_t lasttrue = 0;
@@ -53,7 +51,7 @@
         if(currentEntry>0)
         {
             fprintf(stderr,"firelist: ");
-            for(int i=0;i<currentEntry;i++)
+            for(index_t i=0;i < currentEntry;i++)
             {
                 fprintf(stderr,"%d\t",currentFirelist[i]);
             }
@@ -139,7 +137,7 @@
             {
 
                 //valid for ef :)
-                if(lasttrue >= stackentry.lowlink & lastfalse < 
stackentry.lowlink)
+                if((lasttrue >= stackentry.lowlink ) & ( lastfalse < 
stackentry.lowlink ))
                 {
                     //for the current tscc "add" one more true
                     //just for clarification of the code...

Modified: trunk/lola2/src/Planning/Task.cc
URL: 
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Planning/Task.cc?rev=9469&r1=9468&r2=9469&view=diff
==============================================================================
--- trunk/lola2/src/Planning/Task.cc    (original)
+++ trunk/lola2/src/Planning/Task.cc    Tue May 27 14:14:32 2014
@@ -348,6 +348,9 @@
     case (FORMULA_AGAF):
         RT::rep->status("checking AGAF");
         break;
+    case (FORMULA_EFAGEF):
+        RT::rep->status("checking EFAGEF");
+        break;
     case (FORMULA_FAIRNESS):
         RT::rep->status("checking fairness");
         RT::data["analysis"]["formula"]["type"] = "fairness";


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.