Clingo::PropagateControl Member List

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

add_clause(SolverLiteralSpan literals, ClauseFlags flags=ClauseFlags::none) const -> bool	Clingo::PropagateControl	inline
add_clause(SolverLiteralList literals, ClauseFlags flags=ClauseFlags::none) const -> bool	Clingo::PropagateControl	inline
add_literal() const -> SolverLiteral	Clingo::PropagateControl	inline
add_nogood(SolverLiteralSpan literals, ClauseFlags flags=ClauseFlags::none) const -> bool	Clingo::PropagateControl	inline
add_watch(SolverLiteral literal) const	Clingo::PropagateControl	inline
assignment() const -> Assignment	Clingo::PropagateControl	inline
has_watch(SolverLiteral literal) const -> bool	Clingo::PropagateControl	inline
propagate() const -> bool	Clingo::PropagateControl	inline
PropagateControl(clingo_propagate_control_t *ctl)	Clingo::PropagateControl	inlineexplicit
remove_watch(SolverLiteral lit) const	Clingo::PropagateControl	inline
thread_id() const -> ProgramId	Clingo::PropagateControl	inline