Specialized multiple circuit constraint. More...

Inheritance diagram for Google.OrTools.Sat.MultipleCircuitConstraint:

Public Member Functions
	MultipleCircuitConstraint (CpModelProto model)

MultipleCircuitConstraint	AddArc (int tail, int head, ILiteral literal)
	Add an arc to the graph of the multiple circuit constraint.

Public Member Functions inherited from Google.OrTools.Sat.Constraint
	Constraint (CpModelProto model)

void	OnlyEnforceIf (ILiteral lit)
	Adds a literal to the constraint.

void	OnlyEnforceIf (ILiteral[] lits)
	Adds a list of literals to the constraint.

Additional Inherited Members
Properties inherited from Google.OrTools.Sat.Constraint
int	Index `[get]`
	The index of the constraint in the model.

ConstraintProto	Proto `[get, set]`
	The underlying constraint proto.

Detailed Description

Specialized multiple circuit constraint.

This constraint allows adding arcs to the multiple circuit constraint incrementally.

Definition at line 118 of file Constraints.cs.

Constructor & Destructor Documentation

Google.OrTools.Sat.MultipleCircuitConstraint.MultipleCircuitConstraint ( CpModelProto model )

inline

Definition at line 120 of file Constraints.cs.

MultipleCircuitConstraint Google.OrTools.Sat.MultipleCircuitConstraint.AddArc	(	int	tail,
		int	head,
		ILiteral	literal )

inline

Add an arc to the graph of the multiple circuit constraint.

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 133 of file Constraints.cs.

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