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

add_clause(SolverLiteralSpan literals) const -> bool	Clingo::PropagateInit	inline
add_clause(SolverLiteralList literals) const -> bool	Clingo::PropagateInit	inline
add_literal(bool freeze=true) const -> SolverLiteral	Clingo::PropagateInit	inline
add_minimize(SolverLiteral literal, Weight weight, Weight priority) const	Clingo::PropagateInit	inline
add_watch(SolverLiteral literal, std::optional< ProgramId > thread_id=std::nullopt) const	Clingo::PropagateInit	inline
add_weight_constraint(SolverLiteral literal, WeightedLiteralSpan literals, Weight bound, WeightConstraintType type, bool compare_equal) const -> bool	Clingo::PropagateInit	inline
assignment() const -> Assignment	Clingo::PropagateInit	inline
base() const -> Base	Clingo::PropagateInit	inline
check_mode() const -> PropagatorCheckMode	Clingo::PropagateInit	inline
check_mode(PropagatorCheckMode mode)	Clingo::PropagateInit	inline
freeze_literal(SolverLiteral literal) const	Clingo::PropagateInit	inline
library() const -> Library	Clingo::PropagateInit	inline
number_of_threads() const -> ProgramId	Clingo::PropagateInit	inline
propagate() const -> bool	Clingo::PropagateInit	inline
PropagateInit(clingo_propagate_init_t *init)	Clingo::PropagateInit	inlineexplicit
remove_watch(SolverLiteral literal, std::optional< ProgramId > thread_id) const	Clingo::PropagateInit	inline
solver_literal(ProgramLiteral literal) const -> SolverLiteral	Clingo::PropagateInit	inline
undo_mode() const -> PropagatorUndoMode	Clingo::PropagateInit	inline
undo_mode(PropagatorUndoMode mode) const	Clingo::PropagateInit	inline