pd_alg_opt_test.cpp
Go to the documentation of this file.
40 errstr << "Number of transitions was expected to be 4, but was " << rPd.TransRelSize() << "." << std::endl;
54 errstr << "Transition originating at state s1 was expected to pop square, but popped " << rPd.StackSymbolName(ppit->first.front()) << "." << std::endl;
67 errstr << "Transition originating at state s1 was expected to pop square, but popped " << rPd.StackSymbolName(ppit->first.front()) << "." << std::endl;
84 errstr << "Transition originating at state s2 with event a was expected to pop dot, but popped " << rPd.StackSymbolName(ppit->first.front()) << "." << std::endl;
96 errstr << "Transition originating at state s2 with event b was expected to pop lambda, but popped " << rPd.StackSymbolName(ppit->first.front()) << "." << std::endl;
142 errstr << "Number of possible stack top symbols of s1 was expected to be 2, but was " << topS1.Size() << "." << std::endl;
147 errstr << "Stack symbol diamond was expected to be a possible stack top symbol of s1, but was not." << std::endl;
152 errstr << "Stack symbol diamond was expected to be a possible stack top symbol of s1, but was not." << std::endl;
158 errstr << "Number of possible stack top symbols of s2 was expected to be 4, but was " << topS2.Size() << "." << std::endl;
164 errstr << "Number of possible stack top symbols of s3 was expected to be 4, but was " << topS3.Size() << "." << std::endl;
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |