operations_research::sat::FixedDivisionPropagator Class Reference

Detailed Description

Definition at line 383 of file integer_expr.h.

#include <integer_expr.h>

Inheritance diagram for operations_research::sat::FixedDivisionPropagator:

Public Member Functions
	FixedDivisionPropagator (absl::Span< const Literal > enforcement_literals, AffineExpression a, IntegerValue b, AffineExpression c, Model *model)
	FixedDivisionPropagator (const FixedDivisionPropagator &)=delete
FixedDivisionPropagator &	operator= (const FixedDivisionPropagator &)=delete
bool	Propagate () final
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

FixedDivisionPropagator() [1/2]

operations_research::sat::FixedDivisionPropagator::FixedDivisionPropagator	(	absl::Span< const Literal >	enforcement_literals,
		AffineExpression	a,
		IntegerValue	b,
		AffineExpression	c,
		Model *	model )

Definition at line 1542 of file integer_expr.cc.

FixedDivisionPropagator() [2/2]

operations_research::sat::FixedDivisionPropagator::FixedDivisionPropagator ( const FixedDivisionPropagator & )

delete

Member Function Documentation

operator=()

FixedDivisionPropagator & operations_research::sat::FixedDivisionPropagator::operator= ( const FixedDivisionPropagator & )

delete

Propagate()

bool operations_research::sat::FixedDivisionPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 1556 of file integer_expr.cc.

---

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

• ortools/sat/integer_expr.h
• ortools/sat/integer_expr.cc