smtrat::ModuleFactory< Module > Struct Template Reference

#include <StrategyGraph.h>

Inheritance diagram for smtrat::ModuleFactory< Module >:

Collaboration diagram for smtrat::ModuleFactory< Module >:

Public Member Functions
	ModuleFactory ()
Module *	create (const ModuleInput *_formula, Conditionals &_conditionals, Manager *const _manager)
std::string	moduleName () const

Detailed Description

template<typename Module>
struct smtrat::ModuleFactory< Module >

Definition at line 23 of file StrategyGraph.h.

Constructor & Destructor Documentation

ModuleFactory()

template<typename Module >

smtrat::ModuleFactory< Module >::ModuleFactory ( )

inline

Definition at line 25 of file StrategyGraph.h.

Member Function Documentation

create()

template<typename Module >

Module* smtrat::ModuleFactory< Module >::create ( const ModuleInput *  _formula, Conditionals &  _conditionals, Manager *const  _manager  )

inlinevirtual

Implements smtrat::AbstractModuleFactory.

Definition at line 26 of file StrategyGraph.h.

moduleName()

template<typename Module >

std::string smtrat::ModuleFactory< Module >::moduleName ( ) const

inlinevirtual

Implements smtrat::AbstractModuleFactory.

Definition at line 29 of file StrategyGraph.h.

Here is the caller graph for this function:

---

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

• smtrat-solver/StrategyGraph.h