File NonIncrMaxSatSolver.hpp

• #include <paramita/maxsat/WClauseContainer.hpp>
• #include <utility>

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	NonIncrMaxSatSolver A MaxSAT solver.

Macros

Type	Name
define	NON_INCR_MAXSAT_SOLVER_C_INTERFACE (SolverClass) DEFINE\_INTERFACE\_IMPLEMENTATION(NonIncrMaxSatSolver, SolverClass)

Macro Definition Documentation

define NON_INCR_MAXSAT_SOLVER_C_INTERFACE

#define NON_INCR_MAXSAT_SOLVER_C_INTERFACE (
    SolverClass
) `DEFINE_INTERFACE_IMPLEMENTATION(NonIncrMaxSatSolver, SolverClass)`

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

Parameters:

• SolverClass The class to register.

---