This is the complete list of members for EnforcementPropagator, including all inherited members.

AddEnforcementReason(EnforcementId id, std::vector< Literal > *reason) const	EnforcementPropagator
EnforcementPropagator(Model *model)	EnforcementPropagator	explicit
Propagate(Trail *trail) final	EnforcementPropagator	virtual
PropagateWhenFalse(EnforcementId id, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	EnforcementPropagator
Register(absl::Span< const Literal > enforcement, std::function< void(EnforcementStatus)> callback=nullptr)	EnforcementPropagator
Status(EnforcementId id) const	EnforcementPropagator	inline
Untrail(const Trail &trail, int trail_index) final	EnforcementPropagator	virtual