File CnfToPbDecoder.hpp

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

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	CnfToPbDecoder A decoder from CNF to Pseudo-Boolean (PB) constraints.

Macros

Type	Name
define	CNF_TO_PB_DECODER_C_INTERFACE (DecoderClass) DEFINE\_INTERFACE\_IMPLEMENTATION(CnfToPbDecoder, DecoderClass)

Macro Definition Documentation

define CNF_TO_PB_DECODER_C_INTERFACE

#define CNF_TO_PB_DECODER_C_INTERFACE (
    DecoderClass
) `DEFINE_INTERFACE_IMPLEMENTATION(CnfToPbDecoder, DecoderClass)`

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

Parameters:

• DecoderClass The class to register.

---