![]() |
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. 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.
Protobuf type operations_research.sat.CircuitConstraintProto
Definition at line 24 of file CircuitConstraintProto.java.
Classes | |
class | Builder |
Public Member Functions | |
java.util.List< java.lang.Integer > | getTailsList () |
int | getTailsCount () |
int | getTails (int index) |
java.util.List< java.lang.Integer > | getHeadsList () |
int | getHeadsCount () |
int | getHeads (int index) |
java.util.List< java.lang.Integer > | getLiteralsList () |
int | getLiteralsCount () |
int | getLiterals (int index) |
final boolean | isInitialized () |
void | writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException |
int | getSerializedSize () |
boolean | equals (final java.lang.Object obj) |
int | hashCode () |
Builder | newBuilderForType () |
Builder | toBuilder () |
com.google.protobuf.Parser< CircuitConstraintProto > | getParserForType () |
com.google.ortools.sat.CircuitConstraintProto | getDefaultInstanceForType () |
Static Public Member Functions | |
static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (java.io.InputStream input) throws java.io.IOException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
static com.google.ortools.sat.CircuitConstraintProto | parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException |
static com.google.ortools.sat.CircuitConstraintProto | parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException |
static com.google.ortools.sat.CircuitConstraintProto | parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
static Builder | newBuilder () |
static Builder | newBuilder (com.google.ortools.sat.CircuitConstraintProto prototype) |
static com.google.ortools.sat.CircuitConstraintProto | getDefaultInstance () |
static com.google.protobuf.Parser< CircuitConstraintProto > | parser () |
Static Public Attributes | |
static final int | TAILS_FIELD_NUMBER = 3 |
static final int | HEADS_FIELD_NUMBER = 4 |
static final int | LITERALS_FIELD_NUMBER = 5 |
Protected Member Functions | |
com.google.protobuf.GeneratedMessage.FieldAccessorTable | internalGetFieldAccessorTable () |
Builder | newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent) |
boolean com.google.ortools.sat.CircuitConstraintProto.equals | ( | final java.lang.Object | obj | ) |
Definition at line 244 of file CircuitConstraintProto.java.
|
static |
Definition at line 872 of file CircuitConstraintProto.java.
com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.getDefaultInstanceForType | ( | ) |
Definition at line 908 of file CircuitConstraintProto.java.
|
static |
Definition at line 49 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.getHeads | ( | int | index | ) |
repeated int32 heads = 4;
index | The index of the element to return. |
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 116 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.getHeadsCount | ( | ) |
repeated int32 heads = 4;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 108 of file CircuitConstraintProto.java.
java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.getHeadsList | ( | ) |
repeated int32 heads = 4;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 101 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.getLiterals | ( | int | index | ) |
repeated int32 literals = 5;
index | The index of the element to return. |
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 146 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.getLiteralsCount | ( | ) |
repeated int32 literals = 5;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 138 of file CircuitConstraintProto.java.
java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.getLiteralsList | ( | ) |
repeated int32 literals = 5;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 131 of file CircuitConstraintProto.java.
com.google.protobuf.Parser< CircuitConstraintProto > com.google.ortools.sat.CircuitConstraintProto.getParserForType | ( | ) |
Definition at line 903 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.getSerializedSize | ( | ) |
Definition at line 191 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.getTails | ( | int | index | ) |
repeated int32 tails = 3;
index | The index of the element to return. |
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 86 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.getTailsCount | ( | ) |
repeated int32 tails = 3;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 78 of file CircuitConstraintProto.java.
java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.getTailsList | ( | ) |
repeated int32 tails = 3;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 71 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.hashCode | ( | ) |
Definition at line 264 of file CircuitConstraintProto.java.
|
protected |
Definition at line 55 of file CircuitConstraintProto.java.
final boolean com.google.ortools.sat.CircuitConstraintProto.isInitialized | ( | ) |
Definition at line 153 of file CircuitConstraintProto.java.
|
static |
Definition at line 361 of file CircuitConstraintProto.java.
|
static |
Definition at line 364 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.newBuilderForType | ( | ) |
Definition at line 360 of file CircuitConstraintProto.java.
|
protected |
Definition at line 374 of file CircuitConstraintProto.java.
|
static |
Definition at line 332 of file CircuitConstraintProto.java.
|
static |
Definition at line 338 of file CircuitConstraintProto.java.
|
static |
Definition at line 309 of file CircuitConstraintProto.java.
|
static |
Definition at line 313 of file CircuitConstraintProto.java.
|
static |
Definition at line 298 of file CircuitConstraintProto.java.
|
static |
Definition at line 303 of file CircuitConstraintProto.java.
|
static |
Definition at line 345 of file CircuitConstraintProto.java.
|
static |
Definition at line 351 of file CircuitConstraintProto.java.
|
static |
Definition at line 319 of file CircuitConstraintProto.java.
|
static |
Definition at line 324 of file CircuitConstraintProto.java.
|
static |
Definition at line 287 of file CircuitConstraintProto.java.
|
static |
Definition at line 292 of file CircuitConstraintProto.java.
|
static |
Definition at line 898 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.toBuilder | ( | ) |
Definition at line 368 of file CircuitConstraintProto.java.
void com.google.ortools.sat.CircuitConstraintProto.writeTo | ( | com.google.protobuf.CodedOutputStream | output | ) | throws java.io.IOException |
Definition at line 163 of file CircuitConstraintProto.java.
|
static |
Definition at line 91 of file CircuitConstraintProto.java.
|
static |
Definition at line 121 of file CircuitConstraintProto.java.
|
static |
Definition at line 61 of file CircuitConstraintProto.java.