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(bool freeze=true) 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
add_weight_constraint(SolverLiteral literal, WeightedLiteralSpan literals, Weight bound, WeightConstraintType type) const -> bool	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
PropagateControl(clingo_propagate_init_t *init)	Clingo::PropagateControl	inlineexplicit
remove_watch(SolverLiteral lit) const	Clingo::PropagateControl	inline