ExperimentDurchfuehrung Namespace Reference

Namespaces
namespace	Fehler
Functions
void	Durchfuehrung (const string &ExperimentVerzeichnis)

---

Function Documentation

void ExperimentDurchfuehrung::Durchfuehrung

(

const string &

ExperimentVerzeichnis

)

Definition at line 357 of file ExperimentDurchfuehrung.cpp.

References Meldungen, sat, Sprache, StringHandling::toString(), OKlib::SATCompetition::unknown, and OKlib::SATCompetition::unsat.

Referenced by main().