SelectedMinPropagator

Detailed Description

Definition at line 22 of file scheduling_constraints.cc.

Public Member Functions
	SelectedMinPropagator (Literal enforcement_literal, AffineExpression target, const std::vector< AffineExpression > &exprs, const std::vector< Literal > &selectors, Model *model)
bool	Propagate () final
int	RegisterWith (GenericLiteralWatcher *watcher)
virtual bool	IncrementalPropagate (const std::vector< int > &watch_indices)

Constructor & Destructor Documentation

SelectedMinPropagator()

SelectedMinPropagator ( Literal  enforcement_literal, AffineExpression  target, const std::vector< AffineExpression > &  exprs, const std::vector< Literal > &  selectors, Model *  model  )

inlineexplicit

Definition at line 24 of file scheduling_constraints.cc.

Member Function Documentation

IncrementalPropagate()

virtual bool IncrementalPropagate ( const std::vector< int > &  watch_indices )

inlinevirtualinherited

Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.

Definition at line 1083 of file integer.h.

Propagate()

bool Propagate ( )

finalvirtual

Implements PropagatorInterface.

Definition at line 56 of file scheduling_constraints.cc.

RegisterWith()

int RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 255 of file scheduling_constraints.cc.

---

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

• scheduling_constraints.cc