CaDiCaL::Testing Class Reference

#include <testing.hpp>

Public Member Functions
	Testing (Solver &s)
	Testing (Solver *s)
Internal *	internal ()
External *	external ()

Detailed Description

Definition at line 16 of file testing.hpp.

Constructor & Destructor Documentation

Testing() [1/2]

CaDiCaL::Testing::Testing ( Solver & s )

inline

Definition at line 20 of file testing.hpp.

: solver (&s) {}

Testing() [2/2]

CaDiCaL::Testing::Testing ( Solver * s )

inline

Definition at line 21 of file testing.hpp.

: solver (s) {}

Member Function Documentation

external()

External * CaDiCaL::Testing::external ( )

inline

Definition at line 23 of file testing.hpp.

{ return solver->external; }

internal()

Internal * CaDiCaL::Testing::internal ( )

inline

Definition at line 22 of file testing.hpp.

{ return solver->internal; }

---

The documentation for this class was generated from the following file:

• src/sat/cadical/testing.hpp