VarScheduler.h File Reference

#include "SolverTypes.h"
#include "Heap.h"
#include <functional>
#include <random>

Include dependency graph for VarScheduler.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	smtrat::VarSchedulerBase
	Base class for variable schedulers. More...
class	smtrat::VarSchedulerMinisat
	Minisat's activity-based variable scheduling. More...
struct	smtrat::VarSchedulerMinisat::VarOrderLt
class	smtrat::VarSchedulerFixedRandom
class	smtrat::VarSchedulerRandom
	Random scheduler. More...
class	smtrat::VarSchedulerSMTTheoryGuided< theory_conflict_guided_decision_heuristic >
	Scheduler for SMT, implementing theory guided heuristics. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.