operations_research::sat::EnforcementPropagator Member List

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

AddEnforcementReason(EnforcementId id, std::vector< Literal > *reason) const	operations_research::sat::EnforcementPropagator
DebugStatus(EnforcementId id)	operations_research::sat::EnforcementPropagator
EnforcementPropagator(Model *model)	operations_research::sat::EnforcementPropagator	explicit
GetEnforcementLiterals(EnforcementId id) const	operations_research::sat::EnforcementPropagator	inline
IsEmpty() const	operations_research::sat::SatPropagator	inlinevirtual
name_	operations_research::sat::SatPropagator	protected
operator=(const SatPropagator &)=delete	operations_research::sat::SatPropagator
Propagate(Trail *trail) final	operations_research::sat::EnforcementPropagator	virtual
PropagatePreconditionsAreSatisfied(const Trail &trail) const	operations_research::sat::SatPropagator	inline
PropagateWhenFalse(EnforcementId id, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	operations_research::sat::EnforcementPropagator
propagation_trail_index_	operations_research::sat::SatPropagator	protected
PropagationIsDone(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagator_id_	operations_research::sat::SatPropagator	protected
PropagatorId() const	operations_research::sat::SatPropagator	inline
Reason(const Trail &, int, int64_t) const	operations_research::sat::SatPropagator	inlinevirtual
Register(absl::Span< const Literal > enforcement, std::function< void(EnforcementId, EnforcementStatus)> callback=nullptr)	operations_research::sat::EnforcementPropagator
SatPropagator(const std::string &name)	operations_research::sat::SatPropagator	inlineexplicit
SatPropagator(const SatPropagator &)=delete	operations_research::sat::SatPropagator
SetPropagatorId(int id)	operations_research::sat::SatPropagator	inline
Status(EnforcementId id) const	operations_research::sat::EnforcementPropagator	inline
Untrail(const Trail &trail, int trail_index) final	operations_research::sat::EnforcementPropagator	virtual
~SatPropagator()=default	operations_research::sat::SatPropagator	virtual