|
Go to the documentation of this file.
38 std::vector<StackSymbol> vLambda;
40 std::vector<StackSymbol> vDot;
42 std::vector<StackSymbol> vSquare;
44 std::vector<StackSymbol> vSquareDot;
47 std::vector<StackSymbol> vDotDot;
50 std::vector<StackSymbol> vDotSquare;
88 std::vector<StackSymbol> vLambda;
91 std::vector<StackSymbol> vSquare;
93 std::vector<StackSymbol> vDotDot;
96 std::vector<StackSymbol> vDotSquare;
128 std::vector<StackSymbol> vLambda;
131 std::vector<StackSymbol> vSquare;
133 std::vector<StackSymbol> vDot;
135 std::vector<StackSymbol> vDotDot;
138 std::vector<StackSymbol> vDotSquare;
171 std::vector<StackSymbol> vLambda;
173 std::vector<StackSymbol> vSquare;
175 std::vector<StackSymbol> vDot;
177 std::vector<StackSymbol> vDotDot;
180 std::vector<StackSymbol> vDotDotDot;
184 std::vector<StackSymbol> vDotSquare;
256 std::vector<StackSymbol> vSquare;
298 std::vector<StackSymbol> vLambda;
300 std::vector<StackSymbol> vSquare;
302 std::vector<StackSymbol> vDot;
304 std::vector<StackSymbol> vSquareDot;
307 std::vector<StackSymbol> vSquareDotDot;
345 std::vector<StackSymbol> vLambda;
347 std::vector<StackSymbol> vSquare;
349 std::vector<StackSymbol> vDot;
351 std::vector<StackSymbol> vDotSquare;
384 std::vector<StackSymbol> vLambda;
386 std::vector<StackSymbol> vSquare;
388 std::vector<StackSymbol> vDotSquare;
389 std::vector<StackSymbol> vDot;
429 std::vector<StackSymbol> vLambda;
431 std::vector<StackSymbol> vSquare;
433 std::vector<StackSymbol> vDot;
435 std::vector<StackSymbol> vDotSquare;
438 std::vector<StackSymbol> vSquareDot;
488 std::vector<StackSymbol> vLambda;
490 std::vector<StackSymbol> vSquare;
492 std::vector<StackSymbol> vFullsquare;
494 std::vector<StackSymbol> vDot;
496 std::vector<StackSymbol> vSquareSquare;
499 std::vector<StackSymbol> vSquareFullsquare;
500 vSquareFullsquare.push_back( StackSymbol( "square"));
501 vSquareFullsquare.push_back( StackSymbol( "fullsquare"));
502 std::vector<StackSymbol> vDotSquare;
505 std::vector<StackSymbol> vSquareDot;
554 std::vector<StackSymbol> vLambda;
556 std::vector<StackSymbol> vSquare;
558 std::vector<StackSymbol> vDot;
560 std::vector<StackSymbol> vDotSquare;
563 std::vector<StackSymbol> vSquareDot;
608 std::vector<StackSymbol> vLambda;
610 std::vector<StackSymbol> vSquare;
612 std::vector<StackSymbol> vDot;
614 std::vector<StackSymbol> vDotSquare;
617 std::vector<StackSymbol> vSquareDot;
652 std::vector<StackSymbol> vLambda;
654 std::vector<StackSymbol> vSquare;
656 std::vector<StackSymbol> vDot;
658 std::vector<StackSymbol> vDotSquare;
661 std::vector<StackSymbol> vSquareDot;
698 std::vector<StackSymbol> vLambda;
700 std::vector<StackSymbol> vSquare;
702 std::vector<StackSymbol> vDot;
704 std::vector<StackSymbol> vDotSquare;
755 std::vector<StackSymbol> vLambda;
757 std::vector<StackSymbol> vSquare;
759 std::vector<StackSymbol> vDot;
761 std::vector<StackSymbol> vDotSquare;
794 std::vector<StackSymbol> vLambda;
796 std::vector<StackSymbol> vSquare;
798 std::vector<StackSymbol> vDot;
800 std::vector<StackSymbol> vDotSquare;
837 std::vector<StackSymbol> vLambda;
839 std::vector<StackSymbol> vSquare;
841 std::vector<StackSymbol> vDot;
843 std::vector<StackSymbol> vDotSquare;
877 std::vector<StackSymbol> vLambda;
879 std::vector<StackSymbol> vSquare;
881 std::vector<StackSymbol> vDot;
883 std::vector<StackSymbol> vDotSquare;
916 std::vector<StackSymbol> vLambda;
918 std::vector<StackSymbol> vSquare;
920 std::vector<StackSymbol> vDot;
922 std::vector<StackSymbol> vDotSquare;
959 std::vector<StackSymbol> vLambda;
961 std::vector<StackSymbol> vSquare;
963 std::vector<StackSymbol> vDot;
965 std::vector<StackSymbol> vDotSquare;
1003 std::vector<StackSymbol> vLambda;
1005 std::vector<StackSymbol> vSquare;
1007 std::vector<StackSymbol> vDot;
1009 std::vector<StackSymbol> vDotDot;
1012 std::vector<StackSymbol> vDotSquare;
1047 std::vector<StackSymbol> vLambda;
1049 std::vector<StackSymbol> vSquare;
1051 std::vector<StackSymbol> vDot;
1053 std::vector<StackSymbol> vDotDot;
1056 std::vector<StackSymbol> vDotSquare;
1089 std::vector<Idx> vLambda;
1090 vLambda.push_back(lambda);
1091 std::vector<Idx> vSquare;
1092 vSquare.push_back(square);
1093 std::vector<Idx> vDot;
1094 vDot.push_back(dot);
1095 std::vector<Idx> vDotDot;
1096 vDotDot.push_back(dot);
1097 vDotDot.push_back(dot);
1098 std::vector<Idx> vDiamond;
1099 vDiamond.push_back(diamond);
1100 std::vector<Idx> vHeart;
1101 vHeart.push_back(heart);
1144 std::vector<StackSymbol> vLambda;
1146 std::vector<StackSymbol> vSquare;
1148 std::vector<StackSymbol> vDot;
1150 std::vector<StackSymbol> vDotDot;
1153 std::vector<StackSymbol> vDotSquare;
1216 std::vector<StackSymbol> vLambda;
1218 std::vector<StackSymbol> vSquare;
1220 std::vector<StackSymbol> vDot;
1222 std::vector<StackSymbol> vDotDot;
1225 std::vector<StackSymbol> vDotSquare;
1384 std::vector<Idx> ssvDot;
1385 ssvDot.push_back(stackSymbols. Index( "dot"));
1386 std::vector<Idx> ssvSquare;
1387 ssvSquare.push_back(stackSymbols. Index( "square"));
1412 v1.push_back(nte2Ptr);
1413 v1.push_back(t2Ptr);
1416 v2.push_back(t1Ptr);
1417 v2.push_back(ntm3Ptr);
1418 v2.push_back(t2Ptr);
1421 v3.push_back(ntm4Ptr);
1424 v4.push_back(ntm5Ptr);
1427 v5.push_back(t2Ptr);
1459 std::vector<Idx> ssvDot;
1460 ssvDot.push_back(stackSymbols. Index( "dot"));
1461 std::vector<Idx> ssvSquare;
1462 ssvSquare.push_back(stackSymbols. Index( "square"));
1486 v2.push_back(t1Ptr);
1487 v2.push_back(ntm3Ptr);
1488 v2.push_back(t2Ptr);
1491 v3.push_back(ntm4Ptr);
1494 v4.push_back(ntm5Ptr);
1497 v5.push_back(t2Ptr);
1528 std::vector<Idx> ssvDot;
1529 ssvDot.push_back(stackSymbols. Index( "dot"));
1530 std::vector<Idx> ssvSquare;
1531 ssvSquare.push_back(stackSymbols. Index( "square"));
1558 v.push_back(nt1dotPtr);
1562 v.push_back(nt2squarePtr);
1565 v.push_back(nt1dot1Ptr);
1566 v.push_back(nt2squarePtr);
1569 v.push_back(tlambdaPtr);
1572 v.push_back(nt1squarePtr);
1575 v.push_back(nt1dotPtr);
1579 v.push_back(nt1dotPtr);
1614 std::vector<Idx> ssvDot;
1615 ssvDot.push_back(stackSymbols. Index( "dot"));
1616 std::vector<Idx> ssvSquare;
1617 ssvSquare.push_back(stackSymbols. Index( "square"));
1638 v.push_back(nt1dotPtr);
1641 v.push_back(nt1dot1Ptr);
1643 v.push_back(nt2squarePtr);
1646 v.push_back(tlambdaPtr);
1674 std::vector<Idx> ssvDot;
1675 ssvDot.push_back(stackSymbols. Index( "dot"));
1676 std::vector<Idx> ssvSquare;
1677 ssvSquare.push_back(stackSymbols. Index( "square"));
1701 v.push_back(nt1dot1Ptr);
1703 v.push_back(nt1squarePtr);
1706 v.push_back(tlambdaPtr);
1712 v.push_back(nt1dotPtr);
1716 v.push_back(nt1squarePtr);
1719 v.push_back(nt1squarePtr);
1720 v.push_back(nt1dotPtr);
1753 std::vector<Idx> ssvDot;
1754 ssvDot.push_back(stackSymbols. Index( "dot"));
1755 std::vector<Idx> ssvSquare;
1756 ssvSquare.push_back(stackSymbols. Index( "square"));
1778 v.push_back(nt1dot1Ptr);
1782 v.push_back(tlambdaPtr);
1786 v.push_back(nt1squarePtr);
1816 std::vector<Idx> ssvDot;
1817 ssvDot.push_back(stackSymbols. Index( "dot"));
1818 std::vector<Idx> ssvSquare;
1819 ssvSquare.push_back(stackSymbols. Index( "square"));
1841 v.push_back(tdollarPtr);
1842 v.push_back(nt1squarePtr);
1843 v.push_back(tdollarPtr);
1847 v.push_back(nt1squarePtr);
1879 std::vector<Idx> ssvDot;
1880 ssvDot.push_back(stackSymbols. Index( "dot"));
1881 std::vector<Idx> ssvSquare;
1882 ssvSquare.push_back(stackSymbols. Index( "square"));
1916 v.push_back(tdollarPtr);
1917 v.push_back(nt1squarePtr);
1918 v.push_back(tdollarPtr);
1922 v.push_back(nt1dot1Ptr);
1926 v.push_back(nt2dotPtr);
1930 v.push_back(tlambdaPtr);
1939 v.push_back(nt1squarePtr);
1940 v.push_back(nt2squarePtr);
1945 v.push_back(tlambdaPtr);
1950 v.push_back(nt1squarePtr);
1951 v.push_back(nt2squarePtr);
1990 std::vector<Idx> ssvSquare;
1991 ssvSquare.push_back(stackSymbols. Index( "square"));
2008 v.push_back(nt1squarePtr);
2038 std::vector<Idx> ssvSquare;
2039 ssvSquare.push_back(stackSymbols. Index( "square"));
2040 std::vector<Idx> ssvDot;
2041 ssvDot.push_back(stackSymbols. Index( "dot"));
2059 v.push_back(nt1dot1Ptr);
2063 v.push_back(tlambdaPtr);
2091 std::vector<Idx> ssvSquare;
2092 ssvSquare.push_back(stackSymbols. Index( "square"));
2109 v.push_back(nt1squarePtr);
2113 v.push_back(tlambdaPtr);
2136 std::cout << "Testing " << name << " ..." << std::endl;
2140 std::cout << "Finished " << name << std::endl;
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|