Tomáš Pecka authored 4 years ago and Jan Trávníček committed 4 years ago

Although #pragma once is not a standard, compilers nowadays usually
support it. We don't have any tricky build system so we should be OK.

This also fixes many errors regarding using reserved identifiers (names
starting with double underscore).

The epsilon transitions from the new initial state were labelled with empty,
should be epsilon

I redesigned the algorithm to make it similar to NPDA run implementation, most
importantly to handle cycles, also not even the very basic test that I
introduced didn't pass.

Additionaly, the graphStructuredStacks used to track the pushdown store and output were
incorrectly parametrized with InputSymbolType instead of PushdownStoreSymbolType
and OutputSymbolType.

Also add getTransition from state and transition to state to NPDA.

It really makes no sense to have it inside alib2std component. Moved
into separate tests/ folder.

Remove CMakeLists.txt generator scripts from build phase. Replaced with
CMake's GLOB that can re-run every time the build is invoked. We can
also drop the Python dependency now.

Removed header installs which will be redesigned in future commits.