data: extern valuaRetriever

alib2data/src/automaton/PDA/InputDrivenNPDA.cpp

alib2data/src/automaton/PDA/InputDrivenNPDA.h

alib2data/src/automaton/PDA/NPDA.cpp

alib2data/src/automaton/PDA/NPDA.h

alib2data/src/automaton/PDA/NPDTA.cpp

alib2data/src/automaton/PDA/NPDTA.h

...ata/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp

...2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h

...ata/src/automaton/PDA/RealTimeHeightDeterministicNPDA.cpp

...2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h

alib2data/src/automaton/PDA/SinglePopDPDA.cpp

alib2data/src/automaton/PDA/SinglePopDPDA.h

alib2data/src/automaton/PDA/SinglePopNPDA.cpp

alib2data/src/automaton/PDA/SinglePopNPDA.h

alib2data/src/automaton/PDA/VisiblyPushdownDPDA.cpp

alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h

alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp

alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h

...a/src/automaton/TA/ArcFactoredDeterministicZAutomaton.cpp

...ata/src/automaton/TA/ArcFactoredDeterministicZAutomaton.h