Today morning i checked out rev. 296 and found out the the code in the SVN does not compile anymore. Seems some problems with dereferencing members of class Action.
Can you pls. fix this?
Building file: ../src/Group3/Group3.cpp
Invoking: GCC C++ Compiler
g++ -I"/home/thomas/workspace1/antlr-runtime/include" -I"/home/thomas/workspace1/CAV-LU-BMC/src" -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"src/Group3/Group3.d" -MT"src/Group3/Group3.d" -o"src/Group3/Group3.o" "../src/Group3/Group3.cpp"
../src/Group3/Group3.cpp: In function ‘void G3::outputPath(G3::Transition*)’:
../src/Group3/Group3.cpp:589: error: ‘class G3::Action’ has no member named ‘SrcVariable’
../src/Group3/Group3.cpp:589: error: ‘class G3::Action’ has no member named ‘DestVariable’
../src/Group3/Group3.cpp:592: error: ‘class G3::Action’ has no member named ‘SrcVariable’
../src/Group3/Group3.cpp:592: error: ‘class G3::Action’ has no member named ‘DestVariable’
../src/Group3/Group3.cpp:595: error: ‘class G3::Action’ has no member named ‘Variable’
../src/Group3/Group3.cpp:599: error: ‘class G3::Action’ has no member named ‘DestVariable’
../src/Group3/Group3.cpp:599: error: ‘class G3::Action’ has no member named ‘SrcVariable1’
../src/Group3/Group3.cpp:599: error: ‘class G3::Action’ has no member named ‘SrcVariable2’
../src/Group3/Group3.cpp:602: error: ‘class G3::Action’ has no member named ‘DestVariable’
../src/Group3/Group3.cpp:602: error: ‘class G3::Action’ has no member named ‘SrcVariable1’
../src/Group3/Group3.cpp:602: error: ‘class G3::Action’ has no member named ‘SrcVariable2’
../src/Group3/Group3.cpp:605: error: ‘class G3::Action’ has no member named ‘Variable’
../src/Group3/Group3.cpp:605: error: ‘class G3::Action’ has no member named ‘newValue’
../src/Group3/Group3.cpp:609: error: ‘class G3::Action’ has no member named ‘Komparand1’
../src/Group3/Group3.cpp:609: error: ‘class G3::Action’ has no member named ‘Komparand2’
../src/Group3/Group3.cpp:609: error: ‘class G3::Action’ has no member named ‘Relation’
make: *** [src/Group3/Group3.o] Error 1