1 /*---------------------------------------------------------------------\
3 | |__ / \ / / . \ . \ |
8 \---------------------------------------------------------------------*/
9 /** \file zypp/solver/detail/Testcase.h
13 #ifndef ZYPP_SOLVER_DETAIL_TESTCASE_H
14 #define ZYPP_SOLVER_DETAIL_TESTCASE_H
15 #ifndef ZYPP_USE_RESOLVER_INTERNALS
16 #error Do not directly include this file!
21 /////////////////////////////////////////////////////////////////////////
23 { ///////////////////////////////////////////////////////////////////////
24 ///////////////////////////////////////////////////////////////////////
26 { /////////////////////////////////////////////////////////////////////
27 /////////////////////////////////////////////////////////////////////
29 { ///////////////////////////////////////////////////////////////////
33 ///////////////////////////////////////////////////////////////////
35 // CLASS NAME : Testcase
37 * Generating a testcase of the current pool and solver state.
42 std::string dumpPath; // Path of the generated testcase
46 Testcase( const std::string & path );
49 bool createTestcase( Resolver & resolver, bool dumpPool = true, bool runSolver = true );
52 ///////////////////////////////////////////////////////////////////
54 /////////////////////////////////////////////////////////////////////
55 /////////////////////////////////////////////////////////////////////
57 ///////////////////////////////////////////////////////////////////////
58 ///////////////////////////////////////////////////////////////////////
60 /////////////////////////////////////////////////////////////////////////
61 #endif // ZYPP_USE_RESOLVER_INTERNALS
62 #endif // ZYPP_SOLVER_DETAIL_TESTCASE_H