EnforcementPropagator

Detailed Description

Definition at line 91 of file linear_propagation.h.

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

Constructor & Destructor Documentation

EnforcementPropagator()

EnforcementPropagator ( Model *  model )

explicit

Definition at line 149 of file linear_propagation.cc.

Member Function Documentation

AddEnforcementReason()

void AddEnforcementReason	(	EnforcementId	id,
		std::vector< Literal > *	reason
	)		const

Definition at line 264 of file linear_propagation.cc.

Propagate()

bool Propagate ( Trail *  trail )

finalvirtual

Implements SatPropagator.

Definition at line 163 of file linear_propagation.cc.

PropagateWhenFalse()

bool PropagateWhenFalse	(	EnforcementId	id,
		absl::Span< const Literal >	literal_reason,
		absl::Span< const IntegerLiteral >	integer_reason
	)

Definition at line 273 of file linear_propagation.cc.

Register()

EnforcementId Register	(	absl::Span< const Literal >	enforcement,
		std::function< void(EnforcementStatus)>	callback = nullptr
	)

Definition at line 210 of file linear_propagation.cc.

Status()

EnforcementStatus Status ( EnforcementId  id ) const

inline

Definition at line 120 of file linear_propagation.h.

Untrail()

void Untrail ( const Trail &  trail, int  trail_index  )

finalvirtual

Reimplemented from SatPropagator.

Definition at line 193 of file linear_propagation.cc.

---

The documentation for this class was generated from the following files:

• linear_propagation.h
• linear_propagation.cc