pd_algo_test.cpp File Reference

Test, pushdown plugin. More...

#include "libfaudes.h"
#include "pd_alg_nb_sub_a_test.h"
#include "pd_alg_nb_sub_b_test.h"
#include "pd_alg_first_test.h"
#include "pd_alg_lrp_test.h"
#include "pd_alg_lrm_test.h"
#include "pd_alg_cc_test.h"
#include "pd_alg_opt_test.h"

Go to the source code of this file.

Functions

void TestLangK ()
 visual only test for LangK
void Tests ()
 All Tests.
int main ()
 Run the tests.

Detailed Description

Test, 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_nb_sub_a_test.h"
#include "pd_alg_nb_sub_b_test.h"
#include "pd_alg_first_test.h"
#include "pd_alg_lrp_test.h"
#include "pd_alg_lrm_test.h"
#include "pd_alg_cc_test.h"
#include "pd_alg_opt_test.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(){
  TestRenQ();
  TestRenG();
  TestRep0();
  TestFilter();
  TestFilter1();
  TestRnpp1();
  TestRnppl();
  TestRnpp();
  TestTimes();
  TestSplit();
  TestRpp();
  TestRep2();
  TestTransient();
  TestRnce();
  TestNda();
  TestSp2Lr();
  TestSp2Lr2    ();
  TestRup();
  TestPostCl();
  TestFds();
  TestFirstL();
  TestFirstA();
  TestFirst();
  TestFirstRed();
  TestFirstAll();
  TestFirstLeq1();
  TestDesc11();
  TestDesc();
  TestPassesX();
  TestLrm1();
  TestLrmLoop();
  TestDescInitial();
  TestLrm();
  TestGeneratorGoto();
  TestGeneratorGotoSeq();
  TestAug();
  TestLrpShiftRules();
  TestLrpReduceRules();
  TestLrp();
  TestGp2Pp();
  TestDim();
  TestNonblock();
  TestTs();
  TestTe();
  TestRuls();
  TestAc();
  TestGetPossibleStackTops();
  TestRemoveUselessTransitions();
  //TestLangK();
}


/** Run the tests */
int main() {

  Tests();

  
  return 0;
}










Definition in file pd_algo_test.cpp.


Function Documentation

int main ( void   ) 

Run the tests.

Definition at line 99 of file pd_algo_test.cpp.

void TestLangK (  ) 

visual only test for LangK

Definition at line 35 of file pd_algo_test.cpp.

void Tests (  ) 

All Tests.

Definition at line 45 of file pd_algo_test.cpp.

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