Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.CircuitConstraintProto Class Reference
Inheritance diagram for com.google.ortools.sat.CircuitConstraintProto:
com.google.ortools.sat.CircuitConstraintProtoOrBuilder

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< CircuitConstraintProtogetParserForType ()
 
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< CircuitConstraintProtoparser ()
 

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

java.lang.Object newInstance (UnusedPrivateParameter unused)
 
com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ()
 
Builder newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
 

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.

Protobuf type operations_research.sat.CircuitConstraintProto

Definition at line 22 of file CircuitConstraintProto.java.

Member Function Documentation

◆ equals()

boolean com.google.ortools.sat.CircuitConstraintProto.equals ( final java.lang.Object obj)

Definition at line 240 of file CircuitConstraintProto.java.

◆ getDefaultInstance()

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.getDefaultInstance ( )
static

Definition at line 912 of file CircuitConstraintProto.java.

◆ getDefaultInstanceForType()

com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.getDefaultInstanceForType ( )

Definition at line 948 of file CircuitConstraintProto.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.CircuitConstraintProto.getDescriptor ( )
static

Definition at line 45 of file CircuitConstraintProto.java.

◆ getHeads()

int com.google.ortools.sat.CircuitConstraintProto.getHeads ( int index)

repeated int32 heads = 4;

Parameters
indexThe index of the element to return.
Returns
The heads at the given index.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 112 of file CircuitConstraintProto.java.

◆ getHeadsCount()

int com.google.ortools.sat.CircuitConstraintProto.getHeadsCount ( )

repeated int32 heads = 4;

Returns
The count of heads.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 104 of file CircuitConstraintProto.java.

◆ getHeadsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.getHeadsList ( )

repeated int32 heads = 4;

Returns
A list containing the heads.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 97 of file CircuitConstraintProto.java.

◆ getLiterals()

int com.google.ortools.sat.CircuitConstraintProto.getLiterals ( int index)

repeated int32 literals = 5;

Parameters
indexThe index of the element to return.
Returns
The literals at the given index.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 142 of file CircuitConstraintProto.java.

◆ getLiteralsCount()

int com.google.ortools.sat.CircuitConstraintProto.getLiteralsCount ( )

repeated int32 literals = 5;

Returns
The count of literals.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 134 of file CircuitConstraintProto.java.

◆ getLiteralsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.getLiteralsList ( )

repeated int32 literals = 5;

Returns
A list containing the literals.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 127 of file CircuitConstraintProto.java.

◆ getParserForType()

com.google.protobuf.Parser< CircuitConstraintProto > com.google.ortools.sat.CircuitConstraintProto.getParserForType ( )

Definition at line 943 of file CircuitConstraintProto.java.

◆ getSerializedSize()

int com.google.ortools.sat.CircuitConstraintProto.getSerializedSize ( )

Definition at line 187 of file CircuitConstraintProto.java.

◆ getTails()

int com.google.ortools.sat.CircuitConstraintProto.getTails ( int index)

repeated int32 tails = 3;

Parameters
indexThe index of the element to return.
Returns
The tails at the given index.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 82 of file CircuitConstraintProto.java.

◆ getTailsCount()

int com.google.ortools.sat.CircuitConstraintProto.getTailsCount ( )

repeated int32 tails = 3;

Returns
The count of tails.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 74 of file CircuitConstraintProto.java.

◆ getTailsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.CircuitConstraintProto.getTailsList ( )

repeated int32 tails = 3;

Returns
A list containing the tails.

Implements com.google.ortools.sat.CircuitConstraintProtoOrBuilder.

Definition at line 67 of file CircuitConstraintProto.java.

◆ hashCode()

int com.google.ortools.sat.CircuitConstraintProto.hashCode ( )

Definition at line 260 of file CircuitConstraintProto.java.

◆ internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessageV3.FieldAccessorTable com.google.ortools.sat.CircuitConstraintProto.internalGetFieldAccessorTable ( )
protected

Definition at line 51 of file CircuitConstraintProto.java.

◆ isInitialized()

final boolean com.google.ortools.sat.CircuitConstraintProto.isInitialized ( )

Definition at line 149 of file CircuitConstraintProto.java.

◆ newBuilder() [1/2]

static Builder com.google.ortools.sat.CircuitConstraintProto.newBuilder ( )
static

Definition at line 357 of file CircuitConstraintProto.java.

◆ newBuilder() [2/2]

static Builder com.google.ortools.sat.CircuitConstraintProto.newBuilder ( com.google.ortools.sat.CircuitConstraintProto prototype)
static

Definition at line 360 of file CircuitConstraintProto.java.

◆ newBuilderForType() [1/2]

Builder com.google.ortools.sat.CircuitConstraintProto.newBuilderForType ( )

Definition at line 356 of file CircuitConstraintProto.java.

◆ newBuilderForType() [2/2]

Builder com.google.ortools.sat.CircuitConstraintProto.newBuilderForType ( com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
protected

Definition at line 370 of file CircuitConstraintProto.java.

◆ newInstance()

java.lang.Object com.google.ortools.sat.CircuitConstraintProto.newInstance ( UnusedPrivateParameter unused)
protected

Definition at line 39 of file CircuitConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseDelimitedFrom ( java.io.InputStream input) throws java.io.IOException
static

Definition at line 328 of file CircuitConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseDelimitedFrom ( java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 334 of file CircuitConstraintProto.java.

◆ parseFrom() [1/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 305 of file CircuitConstraintProto.java.

◆ parseFrom() [2/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( byte[] data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 309 of file CircuitConstraintProto.java.

◆ parseFrom() [3/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 294 of file CircuitConstraintProto.java.

◆ parseFrom() [4/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 299 of file CircuitConstraintProto.java.

◆ parseFrom() [5/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( com.google.protobuf.CodedInputStream input) throws java.io.IOException
static

Definition at line 341 of file CircuitConstraintProto.java.

◆ parseFrom() [6/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 347 of file CircuitConstraintProto.java.

◆ parseFrom() [7/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( java.io.InputStream input) throws java.io.IOException
static

Definition at line 315 of file CircuitConstraintProto.java.

◆ parseFrom() [8/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException
static

Definition at line 320 of file CircuitConstraintProto.java.

◆ parseFrom() [9/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 283 of file CircuitConstraintProto.java.

◆ parseFrom() [10/10]

static com.google.ortools.sat.CircuitConstraintProto com.google.ortools.sat.CircuitConstraintProto.parseFrom ( java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException
static

Definition at line 288 of file CircuitConstraintProto.java.

◆ parser()

static com.google.protobuf.Parser< CircuitConstraintProto > com.google.ortools.sat.CircuitConstraintProto.parser ( )
static

Definition at line 938 of file CircuitConstraintProto.java.

◆ toBuilder()

Builder com.google.ortools.sat.CircuitConstraintProto.toBuilder ( )

Definition at line 364 of file CircuitConstraintProto.java.

◆ writeTo()

void com.google.ortools.sat.CircuitConstraintProto.writeTo ( com.google.protobuf.CodedOutputStream output) throws java.io.IOException

Definition at line 159 of file CircuitConstraintProto.java.

Member Data Documentation

◆ HEADS_FIELD_NUMBER

final int com.google.ortools.sat.CircuitConstraintProto.HEADS_FIELD_NUMBER = 4
static

Definition at line 87 of file CircuitConstraintProto.java.

◆ LITERALS_FIELD_NUMBER

final int com.google.ortools.sat.CircuitConstraintProto.LITERALS_FIELD_NUMBER = 5
static

Definition at line 117 of file CircuitConstraintProto.java.

◆ TAILS_FIELD_NUMBER

final int com.google.ortools.sat.CircuitConstraintProto.TAILS_FIELD_NUMBER = 3
static

Definition at line 57 of file CircuitConstraintProto.java.


The documentation for this class was generated from the following file: