CppClingo::Control::Propagator Class Reference

The propagator interface. More...

#include <solver.hh>

Inheritance diagram for CppClingo::Control::Propagator:

Public Member Functions
virtual auto	hasHeuristic () const -> bool=0
	Can return false to not also register the propagator as a heuristic.

Detailed Description

The propagator interface.

---

The documentation for this class was generated from the following file:

• clingo/control/solver.hh