This is the complete list of members for Clingo::PropagateInit, 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(bool freeze=true) const -> SolverLiteral	Clingo::PropagateControl	inline
add_minimize(SolverLiteral literal, Weight weight, Weight priority) const	Clingo::PropagateInit	inline
add_nogood(SolverLiteralSpan literals, ClauseFlags flags=ClauseFlags::none) const -> bool	Clingo::PropagateControl	inline
add_watch(SolverLiteral literal) const	Clingo::PropagateControl	inline
add_weight_constraint(SolverLiteral literal, WeightedLiteralSpan literals, Weight bound, WeightConstraintType type) const -> bool	Clingo::PropagateControl	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
has_watch(SolverLiteral literal) const -> bool	Clingo::PropagateControl	inline
library() const -> Library	Clingo::PropagateInit	inline
number_of_threads() const -> ProgramId	Clingo::PropagateInit	inline
propagate() const -> bool	Clingo::PropagateControl	inline
PropagateControl(clingo_propagate_control_t *ctl)	Clingo::PropagateControl	inlineexplicit
PropagateControl(clingo_propagate_init_t *init)	Clingo::PropagateControl	inlineexplicit
PropagateInit(clingo_propagate_init_t *init)	Clingo::PropagateInit	inlineexplicit
remove_watch(SolverLiteral lit) const	Clingo::PropagateControl	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