#include <cp_model.h>

Inheritance diagram for operations_research::sat::CircuitConstraint:

Public Member Functions
void	AddArc (int tail, int head, BoolVar literal)

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 circuit constraint.

This constraint allows adding arcs to the circuit constraint incrementally.

Definition at line 582 of file cp_model.h.

Member Function Documentation

void operations_research::sat::CircuitConstraint::AddArc	(	int	tail,
		int	head,
		BoolVar	literal )

Add an arc to the circuit.

Parameters

tail	the index of the tail node.
head	the index of the head node.
literal	it will be set to true if the arc is selected.

Definition at line 514 of file cp_model.cc.

friend

Definition at line 594 of file cp_model.h.

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