pd_alg_opt_test.h

Go to the documentation of this file.
00001 /** @file pd_alg_opt_test.h  Unit Tests */
00002 
00003 
00004 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
00005 
00006    Copyright (C) 2013  Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
00007 
00008 */
00009 
00010 #ifndef FAUDES_PD_ALG_OPT_TEST_H
00011 #define FAUDES_PD_ALG_OPT_TEST_H
00012 
00013 #include "corefaudes.h"
00014 #include "pd_include.h"
00015 #include "pd_test_util.h"
00016 
00017 namespace faudes {
00018 
00019 /**
00020  * Test if RemoveUselessTransitions removes the correct amount of transitions from a
00021  * test generator.
00022  */
00023 void TestRemoveUselessTransitionsNumberOfTransitions();
00024 
00025 /**
00026  * Test if GetPossibleStackTops finds the correct stack symbols
00027  */
00028 void TestGetPossibleStackTopsFindCorrectOnes();
00029 
00030 /**
00031  * all RemoveUselessTransitions tests
00032  */
00033 void TestRemoveUselessTransitions();
00034 
00035 /**
00036  * all GetPossibleStackTops tests
00037  */
00038 void TestGetPossibleStackTops();
00039 
00040 } // namespace faudes
00041 
00042 #endif

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