![]() |
Google OR-Tools v9.12
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 | 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 () |
Static Public Member Functions | |
static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
Protected Member Functions | |
com.google.protobuf.GeneratedMessage.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 393 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 758 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 842 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 674 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 745 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 829 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 661 of file CircuitConstraintProto.java.
com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.Builder.build | ( | ) |
Definition at line 442 of file CircuitConstraintProto.java.
com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.Builder.buildPartial | ( | ) |
Definition at line 451 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clear | ( | ) |
Definition at line 421 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearHeads | ( | ) |
repeated int32 heads = 4;
Definition at line 771 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearLiterals | ( | ) |
repeated int32 literals = 5;
Definition at line 855 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.clearTails | ( | ) |
repeated int32 tails = 3;
Definition at line 687 of file CircuitConstraintProto.java.
com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.Builder.getDefaultInstanceForType | ( | ) |
Definition at line 437 of file CircuitConstraintProto.java.
|
static |
Definition at line 398 of file CircuitConstraintProto.java.
com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.CircuitConstraintProto.Builder.getDescriptorForType | ( | ) |
Definition at line 432 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 722 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 714 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 706 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 806 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 798 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 790 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 638 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 630 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 622 of file CircuitConstraintProto.java.
|
protected |
Definition at line 404 of file CircuitConstraintProto.java.
final boolean com.google.ortools.sat.CircuitConstraintProto.Builder.isInitialized | ( | ) |
Definition at line 525 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.mergeFrom | ( | com.google.ortools.sat.CircuitConstraintProto | other | ) |
Definition at line 484 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 530 of file CircuitConstraintProto.java.
Builder com.google.ortools.sat.CircuitConstraintProto.Builder.mergeFrom | ( | com.google.protobuf.Message | other | ) |
Definition at line 475 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 731 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 815 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 647 of file CircuitConstraintProto.java.