Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Google.OrTools.Sat.TableConstraintProto Class Referencesealed

The values of the n-tuple formed by the given expression 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, ...]. Expressions must be affine (a * var + b). Corner cases: More...

Detailed Description

The values of the n-tuple formed by the given expression 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, ...]. Expressions must be affine (a * var + b). Corner cases:

  • If all vars, values and exprs are empty, the constraint is trivially true, irrespective of the value of negated.
  • If values is empty but either vars or exprs is not, the constraint is trivially false if negated is false, and trivially true if negated is true.
  • If vars and exprs are empty but values is not, the model is invalid.

Definition at line 4274 of file CpModel.pb.cs.

Inheritance diagram for Google.OrTools.Sat.TableConstraintProto:

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.
const int ValuesFieldNumber = 2
 Field number for the "values" field.
const int ExprsFieldNumber = 4
 Field number for the "exprs" field.
const int NegatedFieldNumber = 3
 Field number for the "negated" field.

Properties

static pb::MessageParser< TableConstraintProto > Parser [get]
static pbr::MessageDescriptor Descriptor [get]
pbc::RepeatedField< int > Vars [get]
 Legacy field.
pbc::RepeatedField< long > Values [get]
pbc::RepeatedField< global::Google.OrTools.Sat.LinearExpressionProto > Exprs [get]
bool Negated [get, set]
 If true, the meaning is "negated", that is we forbid any of the given tuple from a feasible assignment.

Constructor & Destructor Documentation

◆ TableConstraintProto() [1/2]

Google.OrTools.Sat.TableConstraintProto.TableConstraintProto ( )
inline

Definition at line 4299 of file CpModel.pb.cs.

◆ TableConstraintProto() [2/2]

Google.OrTools.Sat.TableConstraintProto.TableConstraintProto ( TableConstraintProto other)
inline

Definition at line 4307 of file CpModel.pb.cs.

Member Function Documentation

◆ CalculateSize()

int Google.OrTools.Sat.TableConstraintProto.CalculateSize ( )
inline

Definition at line 4453 of file CpModel.pb.cs.

◆ Clone()

TableConstraintProto Google.OrTools.Sat.TableConstraintProto.Clone ( )
inline

Definition at line 4317 of file CpModel.pb.cs.

◆ Equals() [1/2]

override bool Google.OrTools.Sat.TableConstraintProto.Equals ( object other)
inline

Definition at line 4375 of file CpModel.pb.cs.

◆ Equals() [2/2]

bool Google.OrTools.Sat.TableConstraintProto.Equals ( TableConstraintProto other)
inline

Definition at line 4381 of file CpModel.pb.cs.

◆ GetHashCode()

override int Google.OrTools.Sat.TableConstraintProto.GetHashCode ( )
inline

Definition at line 4397 of file CpModel.pb.cs.

◆ MergeFrom() [1/2]

void Google.OrTools.Sat.TableConstraintProto.MergeFrom ( pb.CodedInputStream input)
inline

Definition at line 4484 of file CpModel.pb.cs.

◆ MergeFrom() [2/2]

void Google.OrTools.Sat.TableConstraintProto.MergeFrom ( TableConstraintProto other)
inline

Definition at line 4469 of file CpModel.pb.cs.

◆ ToString()

override string Google.OrTools.Sat.TableConstraintProto.ToString ( )
inline

Definition at line 4411 of file CpModel.pb.cs.

◆ WriteTo()

void Google.OrTools.Sat.TableConstraintProto.WriteTo ( pb.CodedOutputStream output)
inline

Definition at line 4417 of file CpModel.pb.cs.

Member Data Documentation

◆ ExprsFieldNumber

const int Google.OrTools.Sat.TableConstraintProto.ExprsFieldNumber = 4
static

Field number for the "exprs" field.

Definition at line 4347 of file CpModel.pb.cs.

◆ NegatedFieldNumber

const int Google.OrTools.Sat.TableConstraintProto.NegatedFieldNumber = 3
static

Field number for the "negated" field.

Definition at line 4358 of file CpModel.pb.cs.

◆ ValuesFieldNumber

const int Google.OrTools.Sat.TableConstraintProto.ValuesFieldNumber = 2
static

Field number for the "values" field.

Definition at line 4336 of file CpModel.pb.cs.

◆ VarsFieldNumber

const int Google.OrTools.Sat.TableConstraintProto.VarsFieldNumber = 1
static

Field number for the "vars" field.

Definition at line 4322 of file CpModel.pb.cs.

Property Documentation

◆ Descriptor

pbr.MessageDescriptor Google.OrTools.Sat.TableConstraintProto.Descriptor
staticget

Definition at line 4287 of file CpModel.pb.cs.

◆ Exprs

pbc.RepeatedField<global.Google.OrTools.Sat.LinearExpressionProto> Google.OrTools.Sat.TableConstraintProto.Exprs
get

Definition at line 4353 of file CpModel.pb.cs.

◆ 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 4366 of file CpModel.pb.cs.

◆ Parser

pb.MessageParser<TableConstraintProto> Google.OrTools.Sat.TableConstraintProto.Parser
staticget

Definition at line 4283 of file CpModel.pb.cs.

◆ Values

pbc.RepeatedField<long> Google.OrTools.Sat.TableConstraintProto.Values
get

Definition at line 4342 of file CpModel.pb.cs.

◆ Vars

pbc.RepeatedField<int> Google.OrTools.Sat.TableConstraintProto.Vars
get

Legacy field.

Definition at line 4331 of file CpModel.pb.cs.

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