DotNet Reference

.Net Reference

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.

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. More...
 
void OnlyEnforceIf (ILiteral lit)
 Adds a literal to the constraint. More...
 
void OnlyEnforceIf (ILiteral[] lits)
 Adds a list of literals to the constraint. More...
 

Properties

int Index [get]
 The index of the constraint in the model. More...
 
ConstraintProto Proto [get, set]
 The underlying constraint proto. More...
 

Constructor & Destructor Documentation

◆ MultipleCircuitConstraint()

MultipleCircuitConstraint ( CpModelProto  model)
inline

Definition at line 120 of file Constraints.cs.

Member Function Documentation

◆ AddArc()

MultipleCircuitConstraint AddArc ( int  tail,
int  head,
ILiteral  literal 
)
inline

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

Parameters
tailthe index of the tail node
headthe index of the head node
literalit will be set to true if the arc is selected

Definition at line 133 of file Constraints.cs.

◆ OnlyEnforceIf() [1/2]

void OnlyEnforceIf ( ILiteral  lit)
inlineinherited

Adds a literal to the constraint.

Definition at line 38 of file Constraints.cs.

◆ OnlyEnforceIf() [2/2]

void OnlyEnforceIf ( ILiteral[]  lits)
inlineinherited

Adds a list of literals to the constraint.

Definition at line 44 of file Constraints.cs.

Property Documentation

◆ Index

int Index
getinherited

The index of the constraint in the model.

Definition at line 53 of file Constraints.cs.

◆ Proto

ConstraintProto Proto
getsetinherited

The underlying constraint proto.

Definition at line 61 of file Constraints.cs.


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