DotNet Reference
DotNet 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 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< CircuitConstraintProto > | Parser [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]
|
inline |
Definition at line 2450 of file CpModel.pb.cs.
◆ CircuitConstraintProto() [2/2]
|
inline |
Definition at line 2457 of file CpModel.pb.cs.
Member Function Documentation
◆ CalculateSize()
|
inline |
Definition at line 2546 of file CpModel.pb.cs.
◆ Clone()
|
inline |
Definition at line 2465 of file CpModel.pb.cs.
◆ Equals() [1/2]
|
inline |
Definition at line 2505 of file CpModel.pb.cs.
◆ Equals() [2/2]
|
inline |
Definition at line 2500 of file CpModel.pb.cs.
◆ GetHashCode()
|
inline |
Definition at line 2519 of file CpModel.pb.cs.
◆ MergeFrom() [1/2]
|
inline |
Definition at line 2558 of file CpModel.pb.cs.
◆ MergeFrom() [2/2]
|
inline |
Definition at line 2569 of file CpModel.pb.cs.
◆ ToString()
|
inline |
Definition at line 2531 of file CpModel.pb.cs.
◆ WriteTo()
|
inline |
Definition at line 2536 of file CpModel.pb.cs.
Member Data Documentation
◆ HeadsFieldNumber
|
static |
Field number for the "heads" field.
Definition at line 2480 of file CpModel.pb.cs.
◆ LiteralsFieldNumber
|
static |
Field number for the "literals" field.
Definition at line 2490 of file CpModel.pb.cs.
◆ TailsFieldNumber
|
static |
Field number for the "tails" field.
Definition at line 2470 of file CpModel.pb.cs.
Property Documentation
◆ Descriptor
|
staticget |
Definition at line 2440 of file CpModel.pb.cs.
◆ Heads
|
get |
Definition at line 2485 of file CpModel.pb.cs.
◆ Literals
|
get |
Definition at line 2495 of file CpModel.pb.cs.
◆ Parser
|
staticget |
Definition at line 2437 of file CpModel.pb.cs.
◆ Tails
|
get |
Definition at line 2475 of file CpModel.pb.cs.
The documentation for this class was generated from the following file: