pd_alg_main_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::TestTransientStates ()
 Test if Transient chooses the right states.
void faudes::TestTransientStatesEmpty ()
 Test if Transient chooses the right states.
void faudes::TestRnceRemoveEars ()
 Test if uncontrollable ears are correctly removed.
void faudes::TestIntersectEventsAll ()
 test for intersect events
void faudes::TestTimesStates ()
 test for the the right number of states and for correctly set merge states
void faudes::TestTimesStackSymbols ()
 Test if all stack symbols and the stack bottom are set correctly.
void faudes::TestTimesTransitions ()
 Test if the number of lambda transitions and the total number of transitions is right.
void faudes::TestSplitStackSymbols ()
 Test if the stack bottom remains unchanged and all stack symbols from the old generator are in the split generator.
void faudes::TestSplitStates ()
 Test if the states have been split correctly into heads and ears.
void faudes::TestSplitTransitionsHeadToEar ()
 Test if all transitions originating at heads end at ears and if the pop/push of the transition is correctly set.
void faudes::TestSplitTransitionsEarToHead ()
 Test if all transitions originating at ears end at heads and if the pop of the transition is correctly set.
void faudes::TestTsUnreachable ()
 Test Te with transitions that are unreachable.
void faudes::TestAcAccessible ()
 Test if Ac makes the test generator accessible.
void faudes::TestTransient ()
 All Transient tests.
void faudes::TestRnce ()
 All Rnce tests.
void faudes::TestTimes ()
 all Times tests
void faudes::TestIntersectEvents ()
 all IntersectEvents tests
void faudes::TestSplit ()
 all Split tests
void faudes::TestAc ()
 all Ac tests

libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen