![]() |
Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
|
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. More...
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. | |
const int | HeadsFieldNumber = 4 |
Field number for the "heads" field. | |
const int | LiteralsFieldNumber = 5 |
Field number for the "literals" field. |
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] |
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 3439 of file CpModel.pb.cs.
|
inline |
Definition at line 3464 of file CpModel.pb.cs.
|
inline |
Definition at line 3472 of file CpModel.pb.cs.
|
inline |
Definition at line 3588 of file CpModel.pb.cs.
|
inline |
Definition at line 3481 of file CpModel.pb.cs.
|
inline |
Definition at line 3526 of file CpModel.pb.cs.
|
inline |
Definition at line 3520 of file CpModel.pb.cs.
|
inline |
Definition at line 3541 of file CpModel.pb.cs.
|
inline |
Definition at line 3601 of file CpModel.pb.cs.
|
inline |
Definition at line 3613 of file CpModel.pb.cs.
|
inline |
Definition at line 3554 of file CpModel.pb.cs.
|
inline |
Definition at line 3560 of file CpModel.pb.cs.
|
static |
Field number for the "heads" field.
Definition at line 3497 of file CpModel.pb.cs.
|
static |
Field number for the "literals" field.
Definition at line 3508 of file CpModel.pb.cs.
|
static |
Field number for the "tails" field.
Definition at line 3486 of file CpModel.pb.cs.
|
staticget |
Definition at line 3452 of file CpModel.pb.cs.
|
get |
Definition at line 3503 of file CpModel.pb.cs.
|
get |
Definition at line 3514 of file CpModel.pb.cs.
|
staticget |
Definition at line 3448 of file CpModel.pb.cs.
|
get |
Definition at line 3492 of file CpModel.pb.cs.