#include "VisLearner.h"#include "boost/date_time/posix_time/posix_time.hpp"#include "AlgorithmSelector.hpp"
Go to the source code of this file.
Defines | |
| #define | BOOST(A) |
| #define | XML_NODE_PROVINGALGORITHMS "ProveAlgs" |
| #define | XML_NODE_REFINEMENTALGORITHMS "RefineAlgs" |
Variables | |
| volatile bool | g_stopall |
Definition at line 34 of file VisLearner.cpp.
| #define XML_NODE_PROVINGALGORITHMS "ProveAlgs" |
Definition at line 39 of file VisLearner.cpp.
| #define XML_NODE_REFINEMENTALGORITHMS "RefineAlgs" |
Definition at line 38 of file VisLearner.cpp.