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, ...].
More...
|
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.
|
|
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 3779 of file CpModel.pb.cs.
◆ TableConstraintProto() [1/2]
Google.OrTools.Sat.TableConstraintProto.TableConstraintProto |
( |
| ) |
|
|
inline |
◆ TableConstraintProto() [2/2]
◆ CalculateSize()
int Google.OrTools.Sat.TableConstraintProto.CalculateSize |
( |
| ) |
|
|
inline |
◆ Clone()
◆ Equals() [1/2]
override bool Google.OrTools.Sat.TableConstraintProto.Equals |
( |
object | other | ) |
|
|
inline |
◆ Equals() [2/2]
◆ GetHashCode()
override int Google.OrTools.Sat.TableConstraintProto.GetHashCode |
( |
| ) |
|
|
inline |
◆ MergeFrom() [1/2]
void Google.OrTools.Sat.TableConstraintProto.MergeFrom |
( |
pb.CodedInputStream | input | ) |
|
|
inline |
◆ MergeFrom() [2/2]
◆ ToString()
override string Google.OrTools.Sat.TableConstraintProto.ToString |
( |
| ) |
|
|
inline |
◆ WriteTo()
void Google.OrTools.Sat.TableConstraintProto.WriteTo |
( |
pb.CodedOutputStream | output | ) |
|
|
inline |
◆ NegatedFieldNumber
const int Google.OrTools.Sat.TableConstraintProto.NegatedFieldNumber = 3 |
|
static |
◆ ValuesFieldNumber
const int Google.OrTools.Sat.TableConstraintProto.ValuesFieldNumber = 2 |
|
static |
◆ VarsFieldNumber
const int Google.OrTools.Sat.TableConstraintProto.VarsFieldNumber = 1 |
|
static |
◆ Descriptor
pbr.MessageDescriptor Google.OrTools.Sat.TableConstraintProto.Descriptor |
|
staticget |
◆ Negated
bool Google.OrTools.Sat.TableConstraintProto.Negated |
|
getset |
If true, the meaning is "negated", that is we forbid any of the given tuple from a feasible assignment.
Definition at line 3856 of file CpModel.pb.cs.
◆ Parser
◆ Values
pbc.RepeatedField<long> Google.OrTools.Sat.TableConstraintProto.Values |
|
get |
◆ Vars
pbc.RepeatedField<int> Google.OrTools.Sat.TableConstraintProto.Vars |
|
get |
The documentation for this class was generated from the following file: