Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | Properties | List of all members
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...

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.
 

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

Constructor & Destructor Documentation

◆ TableConstraintProto() [1/2]

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

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

◆ TableConstraintProto() [2/2]

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

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

Member Function Documentation

◆ CalculateSize()

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

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

◆ Clone()

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

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

◆ Equals() [1/2]

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

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

◆ Equals() [2/2]

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

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

◆ GetHashCode()

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

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

◆ MergeFrom() [1/2]

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

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

◆ MergeFrom() [2/2]

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

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

◆ ToString()

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

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

◆ WriteTo()

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

Definition at line 4183 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 4113 of file CpModel.pb.cs.

◆ NegatedFieldNumber

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

Field number for the "negated" field.

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

◆ ValuesFieldNumber

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

Field number for the "values" field.

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

◆ VarsFieldNumber

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

Field number for the "vars" field.

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

Property Documentation

◆ Descriptor

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

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

◆ Exprs

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

Definition at line 4119 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 4132 of file CpModel.pb.cs.

◆ Parser

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

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

◆ Values

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

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

◆ Vars

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

Legacy field.

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

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