DotNet Reference

.Net Reference

Detailed Description

The circuit constraint is defined on a graph where the arc presence are controlled by literals.

Each arc is given by an index in the tails/heads/literals lists that must have the same size.

For now, we ignore node indices with no incident arc. All the other nodes must have exactly one incoming and one outgoing selected arc (i.e. literal at true). All the selected arcs that are not self-loops must form a single circuit. Note that multi-arcs are allowed, but only one of them will be true at the same time. Multi-self loop are disallowed though.

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

Public Member Functions

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

Static Public Attributes

const int TailsFieldNumber = 3
 Field number for the "tails" field. More...
 
const int HeadsFieldNumber = 4
 Field number for the "heads" field. More...
 
const int LiteralsFieldNumber = 5
 Field number for the "literals" field. More...
 

Properties

static pb::MessageParser< CircuitConstraintProtoParser [get]
 
static pbr::MessageDescriptor Descriptor [get]
 
pbc::RepeatedField< int > Tails [get]
 
pbc::RepeatedField< int > Heads [get]
 
pbc::RepeatedField< int > Literals [get]
 

Constructor & Destructor Documentation

◆ CircuitConstraintProto() [1/2]

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

◆ CircuitConstraintProto() [2/2]

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

Member Function Documentation

◆ CalculateSize()

int CalculateSize ( )
inline

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

◆ Clone()

CircuitConstraintProto Clone ( )
inline

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

◆ Equals() [1/2]

bool Equals ( CircuitConstraintProto  other)
inline

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

◆ Equals() [2/2]

override bool Equals ( object  other)
inline

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

◆ GetHashCode()

override int GetHashCode ( )
inline

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

◆ MergeFrom() [1/2]

void MergeFrom ( CircuitConstraintProto  other)
inline

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

◆ MergeFrom() [2/2]

void MergeFrom ( pb::CodedInputStream  input)
inline

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

◆ ToString()

override string ToString ( )
inline

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

◆ WriteTo()

void WriteTo ( pb::CodedOutputStream  output)
inline

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

Member Data Documentation

◆ HeadsFieldNumber

const int HeadsFieldNumber = 4
static

Field number for the "heads" field.

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

◆ LiteralsFieldNumber

const int LiteralsFieldNumber = 5
static

Field number for the "literals" field.

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

◆ TailsFieldNumber

const int TailsFieldNumber = 3
static

Field number for the "tails" field.

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

Property Documentation

◆ Descriptor

pbr.MessageDescriptor Descriptor
staticget

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

◆ Heads

pbc.RepeatedField<int> Heads
get

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

◆ Literals

pbc.RepeatedField<int> Literals
get

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

◆ Parser

pb.MessageParser<CircuitConstraintProto> Parser
staticget

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

◆ Tails

pbc.RepeatedField<int> Tails
get

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


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