Clingo::Heuristic Member List

This is the complete list of members for Clingo::Heuristic, including all inherited members.

check(PropagateControl ctl)	Clingo::Propagator	inline
decide(ProgramId thread_id, Assignment assignment, SolverLiteral literal) -> SolverLiteral	Clingo::Heuristic	inline
Heuristic()=default	Clingo::Heuristic
init(PropagateInit init)	Clingo::Propagator	inline
propagate(PropagateControl ctl, ProgramLiteralSpan changes)	Clingo::Propagator	inline
Propagator()=default	Clingo::Propagator
Propagator(Propagator &&other)=delete	Clingo::Propagator
undo(ProgramId thread_id, Assignment assignment, ProgramLiteralSpan changes)	Clingo::Propagator	inline
~Propagator()=default	Clingo::Propagator	virtual