DotNet Reference

DotNet Reference

CircuitConstraintProto

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

◆ CircuitConstraintProto() [2/2]

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

Member Function Documentation

◆ CalculateSize()

int CalculateSize ( )
inline

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

◆ Clone()

CircuitConstraintProto Clone ( )
inline

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

◆ Equals() [1/2]

bool Equals ( CircuitConstraintProto  other)
inline

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

◆ Equals() [2/2]

override bool Equals ( object  other)
inline

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

◆ GetHashCode()

override int GetHashCode ( )
inline

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

◆ MergeFrom() [1/2]

void MergeFrom ( CircuitConstraintProto  other)
inline

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

◆ MergeFrom() [2/2]

void MergeFrom ( pb::CodedInputStream  input)
inline

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

◆ ToString()

override string ToString ( )
inline

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

◆ WriteTo()

void WriteTo ( pb::CodedOutputStream  output)
inline

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

Member Data Documentation

◆ HeadsFieldNumber

const int HeadsFieldNumber = 4
static

Field number for the "heads" field.

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

◆ LiteralsFieldNumber

const int LiteralsFieldNumber = 5
static

Field number for the "literals" field.

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

◆ TailsFieldNumber

const int TailsFieldNumber = 3
static

Field number for the "tails" field.

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

Property Documentation

◆ Descriptor

pbr.MessageDescriptor Descriptor
staticget

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

◆ Heads

pbc.RepeatedField<int> Heads
get

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

◆ Literals

pbc.RepeatedField<int> Literals
get

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

◆ Parser

pb.MessageParser<CircuitConstraintProto> Parser
staticget

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

◆ Tails

pbc.RepeatedField<int> Tails
get

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


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