pd_alg_first_test.h File Reference

Unit Tests. More...

#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::TestPostClPostfixes ()
 Test all postfixes of a given word.
void faudes::TestFdsWords ()
 Test if Fds returns all expected words.
void faudes::TestFirstLMap ()
 Test if the mapping function produced by FirstL is correct.
void faudes::TestFirstASelectedWords ()
 Test for some selected word if the correct set of terminals is returned.
void faudes::TestFirstSelectedWords ()
 Test for some selected word if the correct set of terminals is returned.
void faudes::TestFirstRedConsistentWord ()
 Test FirstRed with a consistent word as input.
void faudes::TestFirstRedInconsistentWord ()
 Test FirstRed with an inconsistent word as input.
void faudes::TestFilter1MixedGrammarSymbols ()
 Filter a nonterminal from a vector of terminals and nonterminals.
void faudes::TestFilter1Nothing ()
 filter from an empty word
void faudes::TestFirstAllTerminalsOnly ()
 Test with only Terminals as input.
void faudes::TestFirstAllNonterminalsReducible ()
 Test with Nonterminals and a reducible word as input.
void faudes::TestFirstAllNonterminalsIrreducible ()
 Test with Nonterminals and an irreducible word as input.
void faudes::TestFirstLeq1ZeroEmpty ()
 Test with k = 0 and a word that results in an empty first set.
void faudes::TestFirstLeq1ZeroNonempty ()
 Test with k = 0 and a word that results in a nonempty first set.
void faudes::TestFirstLeq1OneNonempty ()
 Test with k = 1 and a word that results in a nonempty first set.
void faudes::TestFirstLeq1TwoNonempty ()
 Test with k = 2 and a word that results in a nonempty first set.
void faudes::TestPostCl ()
 All PostCl tests.
void faudes::TestFds ()
 All Fds tests.
void faudes::TestFirstL ()
 All FirstL tests.
void faudes::TestFirstA ()
 All FirstA tests.
void faudes::TestFirst ()
 All First tests.
void faudes::TestFirstRed ()
 All FirstRed tests.
void faudes::TestFilter1 ()
 All Filter1 tests.
void faudes::TestFirstAll ()
 All FirstAll tests.
void faudes::TestFirstLeq1 ()
 All FirstLeq1 tests.

Detailed Description

Unit Tests.

Definition in file pd_alg_first_test.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen