File PbToCnfEncoder.hpp

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

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	PbToCnfEncoder An encoder from PB constraints to Satisfiability CNF.
class	ContextState Opaque type for storing arbitrary context for incremental encoders.

Macros

Type	Name
define	PB_TO_CNF_ENCODER_C_INTERFACE (EncoderClass) DEFINE\_INTERFACE\_IMPLEMENTATION(PbToCnfEncoder, EncoderClass)

Macro Definition Documentation

define PB_TO_CNF_ENCODER_C_INTERFACE

#define PB_TO_CNF_ENCODER_C_INTERFACE (
    EncoderClass
) `DEFINE_INTERFACE_IMPLEMENTATION(PbToCnfEncoder, EncoderClass)`

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

Parameters:

• EncoderClass The class to register.

---