DotNet Reference
DotNet Reference
Detailed Description
The values of the n-tuple formed by the given variables can only be one of the listed n-tuples in values.
The n-tuples are encoded in a flattened way: [tuple0_v0, tuple0_v1, ..., tuple0_v{n-1}, tuple1_v0, ...].
Definition at line 2985 of file CpModel.pb.cs.
Public Member Functions | |
| TableConstraintProto () | |
| TableConstraintProto (TableConstraintProto other) | |
| TableConstraintProto | Clone () |
| override bool | Equals (object other) |
| bool | Equals (TableConstraintProto other) |
| override int | GetHashCode () |
| override string | ToString () |
| void | WriteTo (pb::CodedOutputStream output) |
| int | CalculateSize () |
| void | MergeFrom (TableConstraintProto other) |
| void | MergeFrom (pb::CodedInputStream input) |
Static Public Attributes | |
| const int | VarsFieldNumber = 1 |
| Field number for the "vars" field. More... | |
| const int | ValuesFieldNumber = 2 |
| Field number for the "values" field. More... | |
| const int | NegatedFieldNumber = 3 |
| Field number for the "negated" field. More... | |
Properties | |
| static pb::MessageParser< TableConstraintProto > | Parser [get] |
| static pbr::MessageDescriptor | Descriptor [get] |
| pbc::RepeatedField< int > | Vars [get] |
| pbc::RepeatedField< long > | Values [get] |
| bool | Negated [get, set] |
| If true, the meaning is "negated", that is we forbid any of the given tuple from a feasible assignment. More... | |
Constructor & Destructor Documentation
◆ TableConstraintProto() [1/2]
|
inline |
Definition at line 3002 of file CpModel.pb.cs.
◆ TableConstraintProto() [2/2]
|
inline |
Definition at line 3009 of file CpModel.pb.cs.
Member Function Documentation
◆ CalculateSize()
|
inline |
Definition at line 3106 of file CpModel.pb.cs.
◆ Clone()
|
inline |
Definition at line 3017 of file CpModel.pb.cs.
◆ Equals() [1/2]
|
inline |
Definition at line 3057 of file CpModel.pb.cs.
◆ Equals() [2/2]
|
inline |
Definition at line 3062 of file CpModel.pb.cs.
◆ GetHashCode()
|
inline |
Definition at line 3076 of file CpModel.pb.cs.
◆ MergeFrom() [1/2]
|
inline |
Definition at line 3133 of file CpModel.pb.cs.
◆ MergeFrom() [2/2]
|
inline |
Definition at line 3120 of file CpModel.pb.cs.
◆ ToString()
|
inline |
Definition at line 3088 of file CpModel.pb.cs.
◆ WriteTo()
|
inline |
Definition at line 3093 of file CpModel.pb.cs.
Member Data Documentation
◆ NegatedFieldNumber
|
static |
Field number for the "negated" field.
Definition at line 3042 of file CpModel.pb.cs.
◆ ValuesFieldNumber
|
static |
Field number for the "values" field.
Definition at line 3032 of file CpModel.pb.cs.
◆ VarsFieldNumber
|
static |
Field number for the "vars" field.
Definition at line 3022 of file CpModel.pb.cs.
Property Documentation
◆ Descriptor
|
staticget |
Definition at line 2992 of file CpModel.pb.cs.
◆ Negated
|
getset |
If true, the meaning is "negated", that is we forbid any of the given tuple from a feasible assignment.
Definition at line 3049 of file CpModel.pb.cs.
◆ Parser
|
staticget |
Definition at line 2989 of file CpModel.pb.cs.
◆ Values
|
get |
Definition at line 3037 of file CpModel.pb.cs.
◆ Vars
|
get |
Definition at line 3027 of file CpModel.pb.cs.
The documentation for this class was generated from the following file: