#include <vector>#include "MaxSATFormula.h"#include "cclause.h"#include "core/SolverTypes.h"#include "data.h"#include "mtl/Vec.h"#include "tsolver.h"
Include dependency graph for timetabler.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Timetabler |
| Class for time tabler. More... | |
Enumerations | |
| enum | SolverStatus { Solved, HighLevelFailed, Unsolved } |
| Enum to store the solver status. More... | |
Enumeration Type Documentation
◆ SolverStatus
| enum SolverStatus |
Enum to store the solver status.
| Enumerator | |
|---|---|
| Solved | A timetable could be generated with the given constraints |
| HighLevelFailed | Some high level constraints could not be satisfied |
| Unsolved | Some hard clauses could not be satisfied |
Definition at line 19 of file timetabler.h.
