pd_algo_test.cpp File Reference Test, pushdown plugin. More... #include "libfaudes.h" #include "pd_alg_sub_test.h" #include "pd_alg_first_test.h" #include "pd_alg_lrp_test.h" #include "pd_alg_lrm_test.h" #include "pd_alg_main_test.h" #include "pd_test_util.h" Go to the source code of this file.
Detailed DescriptionTest, pushdown plugin. Run this file to test functionality of the synthesis algorithm. /** @file pd_algo_test.cpp
Test, pushdown plugin. Run this file to test functionality of the synthesis algorithm.
@ingroup Pushdown
@include pd_algo_test.cpp
*/
/* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
*/
#include "libfaudes.h"
// ndont need this, automatica with libfaudes.h
// #include "pd_include.h"
#include "pd_alg_sub_test.h"
#include "pd_alg_first_test.h"
#include "pd_alg_lrp_test.h"
#include "pd_alg_lrm_test.h"
#include "pd_alg_main_test.h"
#include "pd_test_util.h"
// make the faudes namespace available to our program
using namespace faudes;
/**
* visual only test for LangK
*/
void TestLangK(){
PushdownGenerator g1 = TestGenerator1();
LangK lk(g1);
lk.FindLangK(6);
}
/**
* All Tests
*/
void Tests(){
TestFilter();
TestFilter1();
TestRnpp1();
TestRnppl();
TestRnpp();
TestTimes();
TestSplit();
TestSPDA();
TestRnce();
TestNda();
TestSp2Lr();
TestRup();
TestPostCl();
TestFds();
TestFirstL();
TestFirstA();
TestFirst();
TestFirstRed();
TestFirstAll();
TestDesc11();
TestDesc();
TestPassesX();
TestLrm1();
TestLrmLoop();
TestLrm();
TestAug();
TestLrp();
TestDim();
TestAc();
// //TestLangK();
}
/** Run the tests */
int main() {
Tests();
return 0;
}
Definition in file pd_algo_test.cpp. Function Documentation
Run the tests. Definition at line 91 of file pd_algo_test.cpp.
visual only test for LangK Definition at line 34 of file pd_algo_test.cpp.
All Tests. Definition at line 44 of file pd_algo_test.cpp. libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |