#include <gtsam_unstable/discrete/Scheduler.h>
#include <gtsam/base/debug.h>
#include <gtsam/base/timing.h>
#include <boost/assign/std/vector.hpp>
#include <boost/assign/std/map.hpp>
#include <boost/optional.hpp>
#include <boost/format.hpp>
#include <algorithm>
Go to the source code of this file.
Macros | |
#define | ADD_NO_CACHING |
#define | ADD_NO_PRUNING |
#define | ENABLE_TIMING |
Functions | |
void | addStudent (Scheduler &s, size_t i) |
DiscreteBayesNet::shared_ptr | createSampler (size_t i, size_t slot, vector< Scheduler > &schedulers) |
Scheduler | largeExample (size_t nrStudents=NRSTUDENTS, bool addStudents=true) |
int | main () |
bool | NonZero (size_t i) |
void | runLargeExample () |
void | sampleSolutions () |
void | solveStaged (size_t addMutex=2) |
Variables | |
size_t | NRSTUDENTS = 12 |
#define ADD_NO_CACHING |
Definition at line 9 of file schedulingQuals13.cpp.
#define ADD_NO_PRUNING |
Definition at line 10 of file schedulingQuals13.cpp.
#define ENABLE_TIMING |
Definition at line 8 of file schedulingQuals13.cpp.
Definition at line 33 of file schedulingQuals13.cpp.
DiscreteBayesNet::shared_ptr createSampler | ( | size_t | i, |
size_t | slot, | ||
vector< Scheduler > & | schedulers | ||
) |
Definition at line 233 of file schedulingQuals13.cpp.
Scheduler largeExample | ( | size_t | nrStudents = NRSTUDENTS , |
bool | addStudents = true |
||
) |
Definition at line 84 of file schedulingQuals13.cpp.
int main | ( | void | ) |
Definition at line 284 of file schedulingQuals13.cpp.
bool NonZero | ( | size_t | i | ) |
Definition at line 28 of file schedulingQuals13.cpp.
void runLargeExample | ( | ) |
Definition at line 129 of file schedulingQuals13.cpp.
void sampleSolutions | ( | ) |
Definition at line 246 of file schedulingQuals13.cpp.
void solveStaged | ( | size_t | addMutex = 2 | ) |
Definition at line 180 of file schedulingQuals13.cpp.
size_t NRSTUDENTS = 12 |
Definition at line 26 of file schedulingQuals13.cpp.