testing.hpp

Go to the documentation of this file.

#ifndef _testing_hpp_INCLUDED
#define _testing_hpp_INCLUDED
 
#include "global.h"
 
// This class provides access to 'internal' which should only be used for
// internal testing and not for any other purpose as 'internal' is supposed
// to be hidden.
 
#include "cadical.hpp"
 
ABC_NAMESPACE_CXX_HEADER_START
 
namespace CaDiCaL {
 
class Testing {
  Solver *solver;
 
public:
  Testing (Solver &s) : solver (&s) {}
  Testing (Solver *s) : solver (s) {}
  Internal *internal () { return solver->internal; }
  External *external () { return solver->external; }
};
 
} // namespace CaDiCaL
 
ABC_NAMESPACE_CXX_HEADER_END
 
#endif