SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
smtrat::AbstractModuleFactory Struct Referenceabstract

#include <StrategyGraph.h>

Inheritance diagram for smtrat::AbstractModuleFactory:
Inheritance graph
[legend]

Public Member Functions

virtual ~AbstractModuleFactory ()=default
 
virtual Module * create (const ModuleInput *_formula, Conditionals &_conditionals, Manager *const _manager)=0
 
virtual std::string moduleName () const =0
 

Detailed Description

Definition at line 16 of file StrategyGraph.h.

Constructor & Destructor Documentation

◆ ~AbstractModuleFactory()

virtual smtrat::AbstractModuleFactory::~AbstractModuleFactory ( )
virtualdefault

Member Function Documentation

◆ create()

virtual Module* smtrat::AbstractModuleFactory::create ( const ModuleInput *  _formula,
Conditionals &  _conditionals,
Manager *const  _manager 
)
pure virtual

Implemented in smtrat::ModuleFactory< Module >.

◆ moduleName()

virtual std::string smtrat::AbstractModuleFactory::moduleName ( ) const
pure virtual

Implemented in smtrat::ModuleFactory< Module >.

The documentation for this struct was generated from the following file: