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

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 24 of file CircuitConstraintProto.java.

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

com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable ()
Builder newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Member Function Documentation

◆ equals()

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

Definition at line 244 of file CircuitConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 872 of file CircuitConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 908 of file CircuitConstraintProto.java.

◆ getDescriptor()

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

Definition at line 49 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 116 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 108 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 101 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 146 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 138 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 131 of file CircuitConstraintProto.java.

◆ getParserForType()

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

Definition at line 903 of file CircuitConstraintProto.java.

◆ getSerializedSize()

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

Definition at line 191 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 86 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 78 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 71 of file CircuitConstraintProto.java.

◆ hashCode()

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

Definition at line 264 of file CircuitConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 55 of file CircuitConstraintProto.java.

◆ isInitialized()

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

Definition at line 153 of file CircuitConstraintProto.java.

◆ newBuilder() [1/2]

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

Definition at line 361 of file CircuitConstraintProto.java.

◆ newBuilder() [2/2]

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

Definition at line 364 of file CircuitConstraintProto.java.

◆ newBuilderForType() [1/2]

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

Definition at line 360 of file CircuitConstraintProto.java.

◆ newBuilderForType() [2/2]

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

Definition at line 374 of file CircuitConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 332 of file CircuitConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

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 338 of file CircuitConstraintProto.java.

◆ parseFrom() [1/10]

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

Definition at line 309 of file CircuitConstraintProto.java.

◆ parseFrom() [2/10]

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 313 of file CircuitConstraintProto.java.

◆ parseFrom() [3/10]

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 298 of file CircuitConstraintProto.java.

◆ parseFrom() [4/10]

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 303 of file CircuitConstraintProto.java.

◆ parseFrom() [5/10]

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

Definition at line 345 of file CircuitConstraintProto.java.

◆ parseFrom() [6/10]

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 351 of file CircuitConstraintProto.java.

◆ parseFrom() [7/10]

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

Definition at line 319 of file CircuitConstraintProto.java.

◆ parseFrom() [8/10]

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 324 of file CircuitConstraintProto.java.

◆ parseFrom() [9/10]

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

Definition at line 287 of file CircuitConstraintProto.java.

◆ parseFrom() [10/10]

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 292 of file CircuitConstraintProto.java.

◆ parser()

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

Definition at line 898 of file CircuitConstraintProto.java.

◆ toBuilder()

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

Definition at line 368 of file CircuitConstraintProto.java.

◆ writeTo()

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

Definition at line 163 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 91 of file CircuitConstraintProto.java.

◆ LITERALS_FIELD_NUMBER

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

Definition at line 121 of file CircuitConstraintProto.java.

◆ TAILS_FIELD_NUMBER

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

Definition at line 61 of file CircuitConstraintProto.java.


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