LinMinPropagator

Detailed Description

Definition at line 183 of file integer_expr.h.

Public Member Functions
	LinMinPropagator (const std::vector< LinearExpression > &exprs, IntegerVariable min_var, Model *model)
	LinMinPropagator (const LinMinPropagator &)=delete
LinMinPropagator &	operator= (const LinMinPropagator &)=delete
bool	Propagate () final
void	RegisterWith (GenericLiteralWatcher *watcher)
virtual bool	IncrementalPropagate (const std::vector< int > &watch_indices)

Constructor & Destructor Documentation

LinMinPropagator() [1/2]

LinMinPropagator	(	const std::vector< LinearExpression > &	exprs,
		IntegerVariable	min_var,
		Model *	model
	)

Definition at line 412 of file integer_expr.cc.

LinMinPropagator() [2/2]

LinMinPropagator ( const LinMinPropagator &  )

delete

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.

operator=()

LinMinPropagator & operator= ( const LinMinPropagator &  )

delete

Propagate()

bool Propagate ( )

finalvirtual

Implements PropagatorInterface.

Definition at line 516 of file integer_expr.cc.

RegisterWith()

void RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 602 of file integer_expr.cc.

---

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

• integer_expr.h
• integer_expr.cc