30/7/2017:

1. Changed to c++14
2. Changed default to tpda zone from tpdagcpp 
3. Bugs are there, have to debug

clean

-rm tree drawsystem main.o obj/*.o src/*.cpp~ include/*.h~

main.cpp

@@ -84,7 +84,7 @@ int main(int argc, char *argv[]) {
 	////**********////
 	setGlobal(argv[1]); // set all the global variables
 	
-	bool b;
+	bool b,b1;
 	
 	if(argc >= 3) { // If there is any arguments for special kind of TPDA
 	
@@ -103,8 +103,16 @@ int main(int argc, char *argv[]) {
 	}
 	
 	else // general TPDA with one or more clocks
-		b = isEmptyGCPP();
+	{	//b = isEmptyGCPP();
+            b=isEmptyZone();
+            //b1=isEmptyGCPP();
+        }
+        
         
+       // if(b==b1)
+         //   cout <<"Correct!" << endl;
+        //else
+          //  cout<< "Wrong!" << endl;
 	// the returned value b will be true iff the language is empty
 	
 	if(b)
@@ -134,6 +142,8 @@ int main(int argc, char *argv[]) {
 	  
 	cout << "Execution time : " << (elapsed/1000) << " seconds." << endl << endl;
 	
+        
+        //uncomment from here
 	/*
 	short **w;
 	bool **open;
@@ -167,6 +177,6 @@ int main(int argc, char *argv[]) {
 		cout << endl;
 	}
 	*/
-	
+	//getchar();
 	return 0;
 }

makefile

 CC  :=  g++
-CFLAG := -lm -std=c++11
+CFLAG := -lm -std=c++14
 SRC := ./src
 OBJ := ./obj
 INC := ./include
@@ -39,3 +39,8 @@ $(OBJ)/timePushDown.o : $(SRC)/timePushDown.cpp
 	
 $(OBJ)/treeBitOperations.o : $(SRC)/treeBitOperations.cpp
 	g++ $(GDB) -I $(INC) -c $(SRC)/treeBitOperations.cpp -o $(OBJ)/treeBitOperations.o $(CFLAG)
+
+
+
+clean:
+	rm $(OBJ)/*.o tree drawsystem main.o
\ No newline at end of file

nbproject/configurations.xml

@@ -35,7 +35,7 @@
         <rebuildPropChanged>false</rebuildPropChanged>
       </toolsSet>
       <flagsDictionary>
-        <element flagsID="0" commonFlags="-mtune=generic -march=x86-64 -std=c++11"/>
+        <element flagsID="0" commonFlags="-std=c++11"/>
       </flagsDictionary>
       <codeAssistance>
       </codeAssistance>
@@ -44,7 +44,12 @@
           <buildCommandWorkingDir>.</buildCommandWorkingDir>
           <buildCommand>${MAKE} -f makefile</buildCommand>
           <cleanCommand>${MAKE} -f makefile clean</cleanCommand>
-          <executablePath></executablePath>
+          <executablePath>tree</executablePath>
+          <ccTool>
+            <incDir>
+              <pElem>include</pElem>
+            </incDir>
+          </ccTool>
         </makeTool>
         <preBuild>
           <preBuildCommandWorkingDir>.</preBuildCommandWorkingDir>
@@ -54,18 +59,12 @@
       <folder path="0/src">
         <ccTool>
           <incDir>
-            <pElem>src</pElem>
-            <pElem>include</pElem>
             <pElem>.</pElem>
           </incDir>
         </ccTool>
       </folder>
       <item path="main.cpp" ex="false" tool="1" flavor2="8">
         <ccTool flags="0">
-          <incDir>
-            <pElem>include</pElem>
-            <pElem>.</pElem>
-          </incDir>
         </ccTool>
       </item>
       <item path="src/continuoustpda.cpp" ex="false" tool="1" flavor2="8">

nbproject/private/CodeAssistancePathMapper.properties

-# Automatic path mapper. CRC = 468718686
-/home/sparsa/NetBeansProjects=/home/sparsa/Programming
+# Automatic path mapper. CRC = 1

nbproject/private/Default.properties

+/home/sparsa/Programming/mtp/src/tpdaCGPP.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/tpdaCGPP.cpp -o ./obj/tpdaCGPP.o -lm -std=c++11
+/home/sparsa/Programming/mtp/src/timePushDown.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/timePushDown.cpp -o ./obj/timePushDown.o -lm -std=c++11
+/home/sparsa/Programming/mtp/src/tpda2.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/tpda2.cpp -o ./obj/tpda2.o -lm -std=c++11
+/home/sparsa/Programming/mtp/src/drawsystem.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/drawsystem.cpp -o ./obj/drawsystem.o -lm -std=c++11
+/home/sparsa/Programming/mtp/src/continuoustpda.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/continuoustpda.cpp -o ./obj/continuoustpda.o -lm -std=c++11
+/home/sparsa/Programming/mtp/src/tpdaZone.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/tpdaZone.cpp -o ./obj/tpdaZone.o -lm -std=c++11
+/home/sparsa/Programming/mtp/src/treeBitOperations.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/treeBitOperations.cpp -o ./obj/treeBitOperations.o -lm -std=c++11
+/home/sparsa/Programming/mtp/src/pds.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c ./src/pds.cpp -o ./obj/pds.o -lm -std=c++11
+/home/sparsa/Programming/mtp/main.cpp=/home/sparsa/Programming/mtp#-g -I ./include -c main.cpp -o main.o -lm -std=c++11

nbproject/private/configurations.xml

@@ -54,6 +54,8 @@
         <gdb_interceptlist>
           <gdbinterceptoptions gdb_all="false" gdb_unhandled="true" gdb_unexpected="true"/>
         </gdb_interceptlist>
+        <gdb_signals>
+        </gdb_signals>
         <gdb_options>
           <DebugOptions>
           </DebugOptions>
@@ -66,8 +68,11 @@
       <runprofile version="9">
         <runcommandpicklist>
           <runcommandpicklistitem>"${OUTPUT_PATH}"</runcommandpicklistitem>
+          <runcommandpicklistitem>"${OUTPUT_PATH}" </runcommandpicklistitem>
+          <runcommandpicklistitem>"${OUTPUT_PATH}" /home/sparsa/Programming/mtp/input/</runcommandpicklistitem>
+          <runcommandpicklistitem>"${OUTPUT_PATH}" /home/sparsa/Programming/mtp/input/tp38</runcommandpicklistitem>
         </runcommandpicklist>
-        <runcommand>"${OUTPUT_PATH}"</runcommand>
+        <runcommand>"${OUTPUT_PATH}" /home/sparsa/Programming/mtp/input/tp38</runcommand>
         <rundir>.</rundir>
         <buildfirst>false</buildfirst>
         <terminal-type>0</terminal-type>

run.sh

+#!/bin/bash
+FILES=/home/sparsa/Programming/mtp/input/*
+for f in $FILES
+do
+    echo "Processing $f File.. "
+    ./tree $f
+done

src/tpdaCGPP.cpp

@@ -897,14 +897,14 @@ bool isEmptyGCPP() {
     
     // iterate through all the generated states and process them to generate new state
     for(count = 0; count < N; count++) {
-	
+	/*
         if( count %5000 == 0 ) // Below of this string, #states will be shown
             cout << "#States" << endl;
 	
         if( (count % 100) == 0 || count <= 200) // print state number currently being processed(note : all numbers will not be printed)
             cout << count << endl;
         
-        
+        */
         rs = allStates[count].first; // get the state at index count, process this state now