tea-add-ddt-search-tests.cc File Reference

Tests for tea-add-ddt-search.cc. More...

#include "common.hh"
#include "tea.hh"
#include "adp-tea-f-fk-ddt.hh"
#include "tea-add-ddt-search.hh"

Functions
void	test_tea_search_ddt ()
void	test_tea_search_xddt ()
void	test_tea_search_xddt_bottom_up ()
void	test_tea_search_ddt_xddt_xddt_bottom_up ()
int	main ()

Detailed Description

Tests for tea-add-ddt-search.cc.

Author

V.Velichkov, vesse.nosp@m.lin..nosp@m.velic.nosp@m.hkov.nosp@m.@uni..nosp@m.lu

Date

2012-2013