pd_alg_opt_test.hGo 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 |