time_tabler.h File Reference

#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 time_tabler.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

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