#include "VisLearner.h"#include "boost/date_time/posix_time/posix_time.hpp"#include "AlgorithmSelector.hpp"
Include dependency graph for VisLearner.cpp:
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 |
Define Documentation
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.