DotNet Reference

.Net Reference

Public Member Functions | Properties | List of all members
TableConstraint

Detailed Description

Specialized assignment constraint.

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

Definition at line 151 of file Constraints.cs.

Public Member Functions

 TableConstraint (CpModelProto model)
 
TableConstraint AddTuple (IEnumerable< int > tuple)
 Adds a tuple of possible/forbidden values to the constraint. More...
 
TableConstraint AddTuple (IEnumerable< long > tuple)
 Adds a tuple of possible/forbidden values to the constraint. More...
 
TableConstraint AddTuples (int[,] tuples)
 Adds a set of tuples of possible/forbidden values to the constraint. More...
 
TableConstraint AddTuples (long[,] tuples)
 Adds a set of tuples of possible/forbidden values to the 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

◆ TableConstraint()

TableConstraint ( CpModelProto  model)
inline

Definition at line 153 of file Constraints.cs.

Member Function Documentation

◆ AddTuple() [1/2]

TableConstraint AddTuple ( IEnumerable< int >  tuple)
inline

Adds a tuple of possible/forbidden values to the constraint.

Parameters
tuplethe tuple to add to the constraint
Exceptions
ArgumentExceptionif the tuple does not have the same length as the array of variables of the constraint

Definition at line 166 of file Constraints.cs.

◆ AddTuple() [2/2]

TableConstraint AddTuple ( IEnumerable< long >  tuple)
inline

Adds a tuple of possible/forbidden values to the constraint.

Parameters
tuplethe tuple to add to the constraint
Exceptions
ArgumentExceptionif the tuple does not have the same length as the array of variables of the constraint

Definition at line 192 of file Constraints.cs.

◆ AddTuples() [1/2]

TableConstraint AddTuples ( int  tuples[,])
inline

Adds a set of tuples of possible/forbidden values to the constraint.

Parameters
tuplesthe set of tuple to add to the constraint
Exceptions
ArgumentExceptionif the tuple does not have the same length as the array of variables of the constraint

Definition at line 218 of file Constraints.cs.

◆ AddTuples() [2/2]

TableConstraint AddTuples ( long  tuples[,])
inline

Adds a set of tuples of possible/forbidden values to the constraint.

Parameters
tuplesthe set of tuple to add to the constraint
Exceptions
ArgumentExceptionif the tuple does not have the same length as the array of variables of the constraint

Definition at line 246 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: