#include <ctime>
#include <cstdlib>
#include <cmath>
#include <iosfwd>
#include <vector>
#include <string>
#include "exceptions.h"
#include "compat.h"
Include dependency graph for ctrls.h:
Go to the source code of this file.
Namespaces | |
namespace | SPARK::DefaultRuntimeControls |
namespace | SPARK |
The SPARK::TRuntimeControls class is a wrapper class around all run-time control data needed to run a SPARK problem. It also provides access and predicate methods for each runtime control.