operations_research::sat::AllDifferentConstraint Class Reference

Detailed Description

Definition at line 72 of file all_different.h.

#include <all_different.h>

Inheritance diagram for operations_research::sat::AllDifferentConstraint:

Public Member Functions
	AllDifferentConstraint (absl::Span< const IntegerVariable > variables, Model *model)
	AllDifferentConstraint (int num_nodes, absl::Span< const int > tails, absl::Span< const int > heads, absl::Span< const Literal > literals, Model *model)
bool	Propagate () final
void	RegisterWith (GenericLiteralWatcher *watcher)

Constructor & Destructor Documentation

AllDifferentConstraint() [1/2]

operations_research::sat::AllDifferentConstraint::AllDifferentConstraint	(	absl::Span< const IntegerVariable >	variables,
		Model *	model )

Definition at line 113 of file all_different.cc.

AllDifferentConstraint() [2/2]

operations_research::sat::AllDifferentConstraint::AllDifferentConstraint	(	int	num_nodes,
		absl::Span< const int >	tails,
		absl::Span< const int >	heads,
		absl::Span< const Literal >	literals,
		Model *	model )

Definition at line 166 of file all_different.cc.

Member Function Documentation

Propagate()

bool operations_research::sat::AllDifferentConstraint::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 259 of file all_different.cc.

RegisterWith()

void operations_research::sat::AllDifferentConstraint::RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 187 of file all_different.cc.

---

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

• ortools/sat/all_different.h
• ortools/sat/all_different.cc