File NonIncrSatSolver.hpp

• #include <optional>
• #include <paramita/definitions.hpp>
• #include <paramita/sat/ClauseContainer.hpp>
• #include <utility>
• #include <vector>

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	NonIncrSatSolver A SAT solver.

Macros

Type	Name
define	NON_INCR_SATSOLVER_C_INTERFACE (SolverClass) DEFINE\_INTERFACE\_IMPLEMENTATION(NonIncrSatSolver, SolverClass)

Macro Definition Documentation

define NON_INCR_SATSOLVER_C_INTERFACE

#define NON_INCR_SATSOLVER_C_INTERFACE (
    SolverClass
) `DEFINE_INTERFACE_IMPLEMENTATION(NonIncrSatSolver, SolverClass)`

Registers an implementation of a NonIncrSatSolver so Paramita can load it.

Parameters:

• SolverClass The class to register.

---