DotNet Reference

.Net Reference

Detailed Description

Wrapper around a ConstraintProto.

Constraints created by the CpModel class are automatically added to the model. One needs this class to add an enforcement literal to a constraint.

Definition at line 28 of file Constraints.cs.

Public Member Functions

 Constraint (CpModelProto model)
 
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

◆ Constraint()

Constraint ( CpModelProto  model)
inline

Definition at line 30 of file Constraints.cs.

Member Function Documentation

◆ OnlyEnforceIf() [1/2]

void OnlyEnforceIf ( ILiteral  lit)
inline

Adds a literal to the constraint.

Definition at line 38 of file Constraints.cs.

◆ OnlyEnforceIf() [2/2]

void OnlyEnforceIf ( ILiteral[]  lits)
inline

Adds a list of literals to the constraint.

Definition at line 44 of file Constraints.cs.

Property Documentation

◆ Index

int Index
get

The index of the constraint in the model.

Definition at line 53 of file Constraints.cs.

◆ Proto

ConstraintProto Proto
getset

The underlying constraint proto.

Definition at line 61 of file Constraints.cs.


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