Référence de la classe AlephMultiTest

Graphe d'héritage de AlephMultiTest:

Graphe de collaboration de AlephMultiTest:

Classes
struct	SolverBuildInfo

Fonctions membres publiques
	AlephMultiTest (const ModuleBuildInfo &)
void	init (void)
void	compute (void)

Attributs privés
AlephFactory *	m_aleph_factory = nullptr
UniqueArray< AlephSolver * >	m_global_aleph_solver
UniqueArray< SolverBuildInfo >	m_solvers_build_info
UniqueArray< AlephSolver * >	m_posted_solvers

Description détaillée

Définition à la ligne 21 du fichier AlephMultiTest.h.

Documentation des constructeurs et destructeur

AlephMultiTest()

AlephMultiTest::AlephMultiTest

(

const ModuleBuildInfo &

mbi

)

Définition à la ligne 256 du fichier AlephMultiTest.cc.

~AlephMultiTest()

AlephMultiTest::~AlephMultiTest

(

void

)

Définition à la ligne 262 du fichier AlephMultiTest.cc.

Documentation des fonctions membres

compute()

void AlephMultiTest::compute

(

void

)

Définition à la ligne 321 du fichier AlephMultiTest.cc.

init()

void AlephMultiTest::init

(

void

)

Définition à la ligne 275 du fichier AlephMultiTest.cc.

Documentation des données membres

m_aleph_factory

AlephFactory* AlephMultiTest::m_aleph_factory = nullptr

private

Définition à la ligne 47 du fichier AlephMultiTest.h.

m_global_aleph_solver

UniqueArray<AlephSolver*> AlephMultiTest::m_global_aleph_solver

private

Définition à la ligne 48 du fichier AlephMultiTest.h.

m_posted_solvers

UniqueArray<AlephSolver*> AlephMultiTest::m_posted_solvers

private

Définition à la ligne 50 du fichier AlephMultiTest.h.

m_solvers_build_info

UniqueArray<SolverBuildInfo> AlephMultiTest::m_solvers_build_info

private

Définition à la ligne 49 du fichier AlephMultiTest.h.

---

La documentation de cette classe a été générée à partir des fichiers suivants :

• AlephMultiTest.h
• AlephMultiTest.cc