pd_alg_sub_test.h File Reference
#include "corefaudes.h"
#include "pd_include.h"
#include "pd_test_util.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

Functions

void faudes::TestRenameStatesRenaming ()
 Test if all states were renamed correctly (merge attribute is set correctly).
void faudes::TestRenameStatesNumberOfStates ()
 Test if the number of states did not change.
void faudes::TestRenameStackSymbolsRenamingStackSymbols ()
 Test if all stack symbols were renamed correctly.
void faudes::TestRenameStackSymbolsNumberOfStackSymbols ()
 Test if the number of stack symbols did not change.
void faudes::TestRenameStackSymbolsRenamingTransitions ()
 Test if the stack symbols in pop and push of transitions were changed correctly.
void faudes::TestRep0NoLambdaPop ()
 Tests if there are any lambda popping edges left.
void faudes::TestRep0AllExpectingTransition ()
 Test if resulting generator has a transition able to pop all stack symbols, but only if the orignal generator had at least one lambda transition.
void faudes::TestRemoveMulPopNumberOfStatesTransitions ()
 Test for the right number of transitions and states in the generator after applying Rep2.
void faudes::TestSPDAReadPopPushOnly ()
 Test if all transitions are either read only, pop only or push only.
void faudes::TestSPDANumberStatesTransitions ()
 Test if the number of transitions and states is correct after calling Rpp.
void faudes::TestNdaActivePassive ()
 Test if the states are split into active and passive states and if the number of states has been doubled.
void faudes::TestNdaTransitions ()
 Test if transition start and end states are set as expected.
void faudes::TestAnnotatePdStates ()
 All AnnotatePdStates Tests.
void faudes::TestRenameStackSymbols ()
 All RenG tests.
void faudes::TestRemoveLambdaPop ()
 All RemoveLambdaPop tests.
void faudes::TestSPDA ()
 All SPDA tests.
void faudes::TestRemoveMultPop ()
 All RemoveMultPop tests.
void faudes::TestNda ()
 All Nda tests.
void faudes::TestFilterMixedGrammarSymbols ()
 Filter a nonterminal from a vector of terminals and nonterminals.
void faudes::TestFilterNothing ()
 filter from an empty word
void faudes::TestRnpp1FindSymbolsEmptySet ()
 Find an eliminable symbol with Rnpp1 and an empty set of nonterminals.
void faudes::TestRnpp1FindSymbolsNonemptySet ()
 Find an eliminable symbol with Rnpp1 and a nonempty set of nonterminals.
void faudes::TestRnpplFindSymbolsEmptySet ()
 Find all eliminable symbols with Rnppl and an empty set of nonterminals.
void faudes::TestRnpplFindSymbolsNonemptySet ()
 Find all eliminable symbolswith Rnppl and a nonempty set of nonterminals.
void faudes::TestRnpplFindSymbolsCompleteSet ()
 Find all eliminable symbols with Rnppl and a set already containing all eliminable symbols.
void faudes::TestRnppGrammar1 ()
 Remove all noneliminable nonterminals and all productions containing noneliminable nonterminals.
void faudes::TestRnppGrammar2 ()
 Remove all noneliminable nonterminals and all productions containing noneliminable nonterminals.
void faudes::TestRnppEmptyGrammar ()
 Try to remove all noneliminable nonterminals and all productions containing noneliminable nonterminals from an empty grammar.
void faudes::TestSp2LrTerminals ()
 Test if all terminals have been set correctly and match the generator's events.
void faudes::TestSp2LrNonterminals ()
 Test if all possible nonterminals were generated.
void faudes::TestSp2LrProductions ()
 Test if all expected productions for read, pop and push transitions and for the final states were generated.
void faudes::TestRupProductions ()
void faudes::TestRupNonterminals ()
void faudes::TestFilter ()
 All Filter tests.
void faudes::TestRnpp1 ()
 All Rnpp1 tests.
void faudes::TestRnppl ()
 All Rnppl tests.
void faudes::TestRnpp ()
 All Rnpp tests.
void faudes::TestSp2Lr ()
 All Sp2Lr tests.
void faudes::TestRup ()
 All Rup tests.

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen