1 /*---------------------------------------------------------------------\
3 | |__ / \ / / . \ . \ |
8 \---------------------------------------------------------------------*/
9 /** \file zypp/solver/detail/Testcase.h
13 #ifndef ZYPP_SOLVER_DETAIL_TESTCASE_H
14 #define ZYPP_SOLVER_DETAIL_TESTCASE_H
17 #include "zypp/solver/detail/Resolver.h"
19 /////////////////////////////////////////////////////////////////////////
21 { ///////////////////////////////////////////////////////////////////////
22 ///////////////////////////////////////////////////////////////////////
24 { /////////////////////////////////////////////////////////////////////
25 /////////////////////////////////////////////////////////////////////
27 { ///////////////////////////////////////////////////////////////////
29 ///////////////////////////////////////////////////////////////////
31 // CLASS NAME : Testcase
33 * Generating a testcase of the current pool and solver state.
38 std::string dumpPath; // Path of the generated testcase
42 Testcase( const std::string & path );
45 bool createTestcase( Resolver & resolver, bool dumpPool = true, bool runSolver = true );
48 ///////////////////////////////////////////////////////////////////
50 /////////////////////////////////////////////////////////////////////
51 /////////////////////////////////////////////////////////////////////
53 ///////////////////////////////////////////////////////////////////////
54 ///////////////////////////////////////////////////////////////////////
56 /////////////////////////////////////////////////////////////////////////
58 #endif // ZYPP_SOLVER_DETAIL_TESTCASE_H