pd_alg_cc_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::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::TestTeReachable ()
 Test Ts with transitions that are reachable.
void faudes::TestTeUnreachable ()
 Test Ts with states that are unreachable.
void faudes::TestRulsRemoveStates ()
 Test if Ruls deletes the correct states.
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::TestNonblock ()
 all Nonblock tests
void faudes::TestTs ()
 all Ts tests
void faudes::TestTe ()
 all Te tests
void faudes::TestRuls ()
 all Ruls tests
void faudes::TestAc ()
 all Ac tests

Detailed Description

Unit Tests.

Definition in file pd_alg_cc_test.h.

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