Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
|
Public Member Functions | |
Builder | clear () |
com.google.protobuf.Descriptors.Descriptor | getDescriptorForType () |
com.google.ortools.sat.CircuitConstraintProto | getDefaultInstanceForType () |
com.google.ortools.sat.CircuitConstraintProto | build () |
com.google.ortools.sat.CircuitConstraintProto | buildPartial () |
Builder | clone () |
Builder | setField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value) |
Builder | clearField (com.google.protobuf.Descriptors.FieldDescriptor field) |
Builder | clearOneof (com.google.protobuf.Descriptors.OneofDescriptor oneof) |
Builder | setRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value) |
Builder | addRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value) |
Builder | mergeFrom (com.google.protobuf.Message other) |
Builder | mergeFrom (com.google.ortools.sat.CircuitConstraintProto other) |
final boolean | isInitialized () |
Builder | mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
java.util.List< java.lang.Integer > | getTailsList () |
int | getTailsCount () |
int | getTails (int index) |
Builder | setTails (int index, int value) |
Builder | addTails (int value) |
Builder | addAllTails (java.lang.Iterable<? extends java.lang.Integer > values) |
Builder | clearTails () |
java.util.List< java.lang.Integer > | getHeadsList () |
int | getHeadsCount () |
int | getHeads (int index) |
Builder | setHeads (int index, int value) |
Builder | addHeads (int value) |
Builder | addAllHeads (java.lang.Iterable<? extends java.lang.Integer > values) |
Builder | clearHeads () |
java.util.List< java.lang.Integer > | getLiteralsList () |
int | getLiteralsCount () |
int | getLiterals (int index) |
Builder | setLiterals (int index, int value) |
Builder | addLiterals (int value) |
Builder | addAllLiterals (java.lang.Iterable<? extends java.lang.Integer > values) |
Builder | clearLiterals () |
final Builder | setUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields) |
final Builder | mergeUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields) |
Static Public Member Functions | |
static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
Protected Member Functions | |
com.google.protobuf.GeneratedMessageV3.FieldAccessorTable | internalGetFieldAccessorTable () |
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 390 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.addAllHeads | ( | java.lang.Iterable<? extends java.lang.Integer > | values | ) |
repeated int32 heads = 4;
values | The heads to add. |
Definition at line 787 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.addAllLiterals | ( | java.lang.Iterable<? extends java.lang.Integer > | values | ) |
repeated int32 literals = 5;
values | The literals to add. |
Definition at line 871 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.addAllTails | ( | java.lang.Iterable<? extends java.lang.Integer > | values | ) |
repeated int32 tails = 3;
values | The tails to add. |
Definition at line 703 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.addHeads | ( | int | value | ) |
repeated int32 heads = 4;
value | The heads to add. |
Definition at line 774 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.addLiterals | ( | int | value | ) |
repeated int32 literals = 5;
value | The literals to add. |
Definition at line 858 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.addRepeatedField | ( | com.google.protobuf.Descriptors.FieldDescriptor | field, |
java.lang.Object | value ) |
Definition at line 498 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.addTails | ( | int | value | ) |
repeated int32 tails = 3;
value | The tails to add. |
Definition at line 690 of file CircuitConstraintProto.java.
com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.Builder.build | ( | ) |
Definition at line 439 of file CircuitConstraintProto.java.
com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.Builder.buildPartial | ( | ) |
Definition at line 448 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clear | ( | ) |
Definition at line 418 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearField | ( | com.google.protobuf.Descriptors.FieldDescriptor | field | ) |
Definition at line 482 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearHeads | ( | ) |
repeated int32 heads = 4;
Definition at line 800 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearLiterals | ( | ) |
repeated int32 literals = 5;
Definition at line 884 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearOneof | ( | com.google.protobuf.Descriptors.OneofDescriptor | oneof | ) |
Definition at line 487 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearTails | ( | ) |
repeated int32 tails = 3;
Definition at line 716 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clone | ( | ) |
Definition at line 472 of file CircuitConstraintProto.java.
com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.Builder.getDefaultInstanceForType | ( | ) |
Definition at line 434 of file CircuitConstraintProto.java.
|
static |
Definition at line 395 of file CircuitConstraintProto.java.
com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.CircuitConstraintProto.Builder.getDescriptorForType | ( | ) |
Definition at line 429 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.Builder.getHeads | ( | int | index | ) |
repeated int32 heads = 4;
index | The index of the element to return. |
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 751 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.Builder.getHeadsCount | ( | ) |
repeated int32 heads = 4;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 743 of file CircuitConstraintProto.java.
java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.Builder.getHeadsList | ( | ) |
repeated int32 heads = 4;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 735 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.Builder.getLiterals | ( | int | index | ) |
repeated int32 literals = 5;
index | The index of the element to return. |
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 835 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.Builder.getLiteralsCount | ( | ) |
repeated int32 literals = 5;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 827 of file CircuitConstraintProto.java.
java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.Builder.getLiteralsList | ( | ) |
repeated int32 literals = 5;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 819 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.Builder.getTails | ( | int | index | ) |
repeated int32 tails = 3;
index | The index of the element to return. |
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 667 of file CircuitConstraintProto.java.
int com.google.ortools.sat.CircuitConstraintProto.Builder.getTailsCount | ( | ) |
repeated int32 tails = 3;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 659 of file CircuitConstraintProto.java.
java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.Builder.getTailsList | ( | ) |
repeated int32 tails = 3;
Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.
Definition at line 651 of file CircuitConstraintProto.java.
|
protected |
Definition at line 401 of file CircuitConstraintProto.java.
final boolean com.google.ortools.sat.CircuitConstraintProto.Builder.isInitialized | ( | ) |
Definition at line 554 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.mergeFrom | ( | com.google.ortools.sat.CircuitConstraintProto | other | ) |
Definition at line 513 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.mergeFrom | ( | com.google.protobuf.CodedInputStream | input, |
com.google.protobuf.ExtensionRegistryLite | extensionRegistry ) throws java.io.IOException |
Definition at line 559 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.mergeFrom | ( | com.google.protobuf.Message | other | ) |
Definition at line 504 of file CircuitConstraintProto.java.
final Builder com.google.ortools.sat.CircuitConstraintProto.Builder.mergeUnknownFields | ( | final com.google.protobuf.UnknownFieldSet | unknownFields | ) |
Definition at line 897 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.setField | ( | com.google.protobuf.Descriptors.FieldDescriptor | field, |
java.lang.Object | value ) |
Definition at line 476 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.setHeads | ( | int | index, |
int | value ) |
repeated int32 heads = 4;
index | The index to set the value at. |
value | The heads to set. |
Definition at line 760 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.setLiterals | ( | int | index, |
int | value ) |
repeated int32 literals = 5;
index | The index to set the value at. |
value | The literals to set. |
Definition at line 844 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.setRepeatedField | ( | com.google.protobuf.Descriptors.FieldDescriptor | field, |
int | index, | ||
java.lang.Object | value ) |
Definition at line 492 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.setTails | ( | int | index, |
int | value ) |
repeated int32 tails = 3;
index | The index to set the value at. |
value | The tails to set. |
Definition at line 676 of file CircuitConstraintProto.java.
final Builder com.google.ortools.sat.CircuitConstraintProto.Builder.setUnknownFields | ( | final com.google.protobuf.UnknownFieldSet | unknownFields | ) |
Definition at line 891 of file CircuitConstraintProto.java.