File definitions.hpp¶
#include <cstdint>#include <optional>#include <variant>#include <vector>
Namespaces¶
| Type | Name |
|---|---|
| namespace | Paramita |
Classes¶
| Type | Name |
|---|---|
| struct | InterfaceInfo |
| struct | PbConstraint A Pseudo-Boolean (PB) constraint. |
| struct | SolvingBudget A budget for the underlying solver. |
Macros¶
| Type | Name |
|---|---|
| define | DEFINE_INTERFACE_IMPLEMENTATION (InterfaceClass, ImplementationClass) /* multi line expression */ |
| define | PARAMITA_EXPORT |
Macro Definition Documentation¶
define DEFINE_INTERFACE_IMPLEMENTATION¶
#define DEFINE_INTERFACE_IMPLEMENTATION (
InterfaceClass,
ImplementationClass
) `/* multi line expression */`