#include <cp_model.h>

Inheritance diagram for operations_research::sat::TableConstraint:

Public Member Functions
void	AddTuple (absl::Span< const int64_t > tuple)
	Adds a tuple of possible values to the constraint.

Public Member Functions inherited from operations_research::sat::Constraint
Constraint	OnlyEnforceIf (absl::Span< const BoolVar > literals)

Constraint	OnlyEnforceIf (BoolVar literal)
	See OnlyEnforceIf(absl::Span<const BoolVar> literals).

Constraint	WithName (absl::string_view name)
	Sets the name of the constraint.

absl::string_view	Name () const
	Returns the name of the constraint (or the empty string if not set).

const ConstraintProto &	Proto () const
	Returns the underlying protobuf object (useful for testing).

ConstraintProto *	MutableProto () const
	Returns the mutable underlying protobuf object (useful for model edition).

Additional Inherited Members
Protected Member Functions inherited from operations_research::sat::Constraint
	Constraint (ConstraintProto *proto)

Protected Attributes inherited from operations_research::sat::Constraint
ConstraintProto *	proto_ = nullptr

Detailed Description

Specialized assignment constraint.

This constraint allows adding tuples to the allowed/forbidden assignment constraint incrementally.

Definition at line 628 of file cp_model.h.

Member Function Documentation

void operations_research::sat::TableConstraint::AddTuple ( absl::Span< const int64_t > tuple )

Adds a tuple of possible values to the constraint.

Definition at line 526 of file cp_model.cc.

friend

Definition at line 634 of file cp_model.h.

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