DotNet Reference

.Net Reference

Detailed Description

Experimental.

For now, this is meant to be used by the solver and not filled by clients.

Hold symmetry information about the set of feasible solutions. If we permute the variable values of any feasible solution using one of the permutation described here, we should always get another feasible solution.

We usually also enforce that the objective of the new solution is the same.

The group of permutations encoded here is usually computed from the encoding of the model, so it is not meant to be a complete representation of the feasible solution symmetries, just a valid subgroup.

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

Public Member Functions

 SymmetryProto ()
 
 SymmetryProto (SymmetryProto other)
 
SymmetryProto Clone ()
 
override bool Equals (object other)
 
bool Equals (SymmetryProto other)
 
override int GetHashCode ()
 
override string ToString ()
 
void WriteTo (pb::CodedOutputStream output)
 
int CalculateSize ()
 
void MergeFrom (SymmetryProto other)
 
void MergeFrom (pb::CodedInputStream input)
 

Static Public Attributes

const int PermutationsFieldNumber = 1
 Field number for the "permutations" field. More...
 
const int OrbitopesFieldNumber = 2
 Field number for the "orbitopes" field. More...
 

Properties

static pb::MessageParser< SymmetryProtoParser [get]
 
static pbr::MessageDescriptor Descriptor [get]
 
pbc::RepeatedField< global::Google.OrTools.Sat.SparsePermutationProto > Permutations [get]
 A list of variable indices permutations that leave the feasible space of solution invariant. More...
 
pbc::RepeatedField< global::Google.OrTools.Sat.DenseMatrixProto > Orbitopes [get]
 An orbitope is a special symmetry structure of the solution space. More...
 

Constructor & Destructor Documentation

◆ SymmetryProto() [1/2]

SymmetryProto ( )
inline

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

◆ SymmetryProto() [2/2]

SymmetryProto ( SymmetryProto  other)
inline

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

Member Function Documentation

◆ CalculateSize()

int CalculateSize ( )
inline

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

◆ Clone()

SymmetryProto Clone ( )
inline

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

◆ Equals() [1/2]

override bool Equals ( object  other)
inline

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

◆ Equals() [2/2]

bool Equals ( SymmetryProto  other)
inline

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

◆ GetHashCode()

override int GetHashCode ( )
inline

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

◆ MergeFrom() [1/2]

void MergeFrom ( pb::CodedInputStream  input)
inline

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

◆ MergeFrom() [2/2]

void MergeFrom ( SymmetryProto  other)
inline

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

◆ ToString()

override string ToString ( )
inline

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

◆ WriteTo()

void WriteTo ( pb::CodedOutputStream  output)
inline

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

Member Data Documentation

◆ OrbitopesFieldNumber

const int OrbitopesFieldNumber = 2
static

Field number for the "orbitopes" field.

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

◆ PermutationsFieldNumber

const int PermutationsFieldNumber = 1
static

Field number for the "permutations" field.

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

Property Documentation

◆ Descriptor

pbr.MessageDescriptor Descriptor
staticget

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

◆ Orbitopes

pbc.RepeatedField<global.Google.OrTools.Sat.DenseMatrixProto> Orbitopes
get

An orbitope is a special symmetry structure of the solution space.

If the variable indices are arranged in a matrix (with no duplicates), then any permutation of the columns will be a valid permutation of the feasible space.

This arise quite often. The typical example is a graph coloring problem where for each node i, you have j booleans to indicate its color. If the variables color_of_i_is_j are arranged in a matrix[i][j], then any columns permutations leave the problem invariant.

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

◆ Parser

pb.MessageParser<SymmetryProto> Parser
staticget

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

◆ Permutations

pbc.RepeatedField<global.Google.OrTools.Sat.SparsePermutationProto> Permutations
get

A list of variable indices permutations that leave the feasible space of solution invariant.

Usually, we only encode a set of generators of the group.

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


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