File Learner.hpp

• #include <paramita/plugin/Plugin.hpp>

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	Learner Interface for components that consume learnt clauses.

Macros

Type	Name
define	LEARNER_C_INTERFACE (LearnerClass) DEFINE\_INTERFACE\_IMPLEMENTATION(Learner, LearnerClass)

Macro Definition Documentation

define LEARNER_C_INTERFACE

#define LEARNER_C_INTERFACE (
    LearnerClass
) `DEFINE_INTERFACE_IMPLEMENTATION(Learner, LearnerClass)`

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

Parameters:

• LearnerClass The class to register.

---