Clingo::Propagator Member List

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

check(PropagateControl ctl)	Clingo::Propagator	inline
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