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

Classes

class  Builder
 

Public Member Functions

long getStartingState ()
 
java.util.List< java.lang.Long > getFinalStatesList ()
 
int getFinalStatesCount ()
 
long getFinalStates (int index)
 
java.util.List< java.lang.Long > getTransitionTailList ()
 
int getTransitionTailCount ()
 
long getTransitionTail (int index)
 
java.util.List< java.lang.Long > getTransitionHeadList ()
 
int getTransitionHeadCount ()
 
long getTransitionHead (int index)
 
java.util.List< java.lang.Long > getTransitionLabelList ()
 
int getTransitionLabelCount ()
 
long getTransitionLabel (int index)
 
java.util.List< java.lang.Integer > getVarsList ()
 
int getVarsCount ()
 
int getVars (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< AutomatonConstraintProtogetParserForType ()
 
com.google.ortools.sat.AutomatonConstraintProto getDefaultInstanceForType ()
 

Static Public Member Functions

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ()
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.AutomatonConstraintProto parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.AutomatonConstraintProto parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.AutomatonConstraintProto parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
 
static com.google.ortools.sat.AutomatonConstraintProto 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.AutomatonConstraintProto prototype)
 
static com.google.ortools.sat.AutomatonConstraintProto getDefaultInstance ()
 
static com.google.protobuf.Parser< AutomatonConstraintProtoparser ()
 

Static Public Attributes

static final int STARTING_STATE_FIELD_NUMBER = 2
 
static final int FINAL_STATES_FIELD_NUMBER = 3
 
static final int TRANSITION_TAIL_FIELD_NUMBER = 4
 
static final int TRANSITION_HEAD_FIELD_NUMBER = 5
 
static final int TRANSITION_LABEL_FIELD_NUMBER = 6
 
static final int VARS_FIELD_NUMBER = 7
 

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

This constraint forces a sequence of variables to be accepted by an
automaton.

Protobuf type operations_research.sat.AutomatonConstraintProto

Definition at line 15 of file AutomatonConstraintProto.java.

Member Function Documentation

◆ equals()

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

Definition at line 394 of file AutomatonConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 1447 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 1483 of file AutomatonConstraintProto.java.

◆ getDescriptor()

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

Definition at line 40 of file AutomatonConstraintProto.java.

◆ getFinalStates()

long com.google.ortools.sat.AutomatonConstraintProto.getFinalStates ( int index)

repeated int64 final_states = 3;

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

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 94 of file AutomatonConstraintProto.java.

◆ getFinalStatesCount()

int com.google.ortools.sat.AutomatonConstraintProto.getFinalStatesCount ( )

repeated int64 final_states = 3;

Returns
The count of finalStates.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 86 of file AutomatonConstraintProto.java.

◆ getFinalStatesList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.getFinalStatesList ( )

repeated int64 final_states = 3;

Returns
A list containing the finalStates.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 79 of file AutomatonConstraintProto.java.

◆ getParserForType()

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

Definition at line 1478 of file AutomatonConstraintProto.java.

◆ getSerializedSize()

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

Definition at line 309 of file AutomatonConstraintProto.java.

◆ getStartingState()

long com.google.ortools.sat.AutomatonConstraintProto.getStartingState ( )
A state is identified by a non-negative number. It is preferable to keep
all the states dense in says [0, num_states). The automaton starts at
starting_state and must finish in any of the final states.

int64 starting_state = 2;

Returns
The startingState.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 65 of file AutomatonConstraintProto.java.

◆ getTransitionHead()

long com.google.ortools.sat.AutomatonConstraintProto.getTransitionHead ( int index)

repeated int64 transition_head = 5;

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

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 172 of file AutomatonConstraintProto.java.

◆ getTransitionHeadCount()

int com.google.ortools.sat.AutomatonConstraintProto.getTransitionHeadCount ( )

repeated int64 transition_head = 5;

Returns
The count of transitionHead.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 164 of file AutomatonConstraintProto.java.

◆ getTransitionHeadList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.getTransitionHeadList ( )

repeated int64 transition_head = 5;

Returns
A list containing the transitionHead.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 157 of file AutomatonConstraintProto.java.

◆ getTransitionLabel()

long com.google.ortools.sat.AutomatonConstraintProto.getTransitionLabel ( int index)

repeated int64 transition_label = 6;

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

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 202 of file AutomatonConstraintProto.java.

◆ getTransitionLabelCount()

int com.google.ortools.sat.AutomatonConstraintProto.getTransitionLabelCount ( )

repeated int64 transition_label = 6;

Returns
The count of transitionLabel.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 194 of file AutomatonConstraintProto.java.

◆ getTransitionLabelList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.getTransitionLabelList ( )

repeated int64 transition_label = 6;

Returns
A list containing the transitionLabel.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 187 of file AutomatonConstraintProto.java.

◆ getTransitionTail()

long com.google.ortools.sat.AutomatonConstraintProto.getTransitionTail ( int index)
List of transitions (all 3 vectors have the same size). Both tail and head
are states, label is any variable value. No two outgoing transitions from
the same state can have the same label.

repeated int64 transition_tail = 4;

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

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 142 of file AutomatonConstraintProto.java.

◆ getTransitionTailCount()

int com.google.ortools.sat.AutomatonConstraintProto.getTransitionTailCount ( )
List of transitions (all 3 vectors have the same size). Both tail and head
are states, label is any variable value. No two outgoing transitions from
the same state can have the same label.

repeated int64 transition_tail = 4;

Returns
The count of transitionTail.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 128 of file AutomatonConstraintProto.java.

◆ getTransitionTailList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.getTransitionTailList ( )
List of transitions (all 3 vectors have the same size). Both tail and head
are states, label is any variable value. No two outgoing transitions from
the same state can have the same label.

repeated int64 transition_tail = 4;

Returns
A list containing the transitionTail.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 115 of file AutomatonConstraintProto.java.

◆ getVars()

int com.google.ortools.sat.AutomatonConstraintProto.getVars ( int index)
The sequence of variables. The automaton is ran for vars_size() "steps" and
the value of vars[i] corresponds to the transition label at step i.

repeated int32 vars = 7;

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

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 247 of file AutomatonConstraintProto.java.

◆ getVarsCount()

int com.google.ortools.sat.AutomatonConstraintProto.getVarsCount ( )
The sequence of variables. The automaton is ran for vars_size() "steps" and
the value of vars[i] corresponds to the transition label at step i.

repeated int32 vars = 7;

Returns
The count of vars.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 234 of file AutomatonConstraintProto.java.

◆ getVarsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.AutomatonConstraintProto.getVarsList ( )
The sequence of variables. The automaton is ran for vars_size() "steps" and
the value of vars[i] corresponds to the transition label at step i.

repeated int32 vars = 7;

Returns
A list containing the vars.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 222 of file AutomatonConstraintProto.java.

◆ hashCode()

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

Definition at line 420 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 46 of file AutomatonConstraintProto.java.

◆ isInitialized()

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

Definition at line 254 of file AutomatonConstraintProto.java.

◆ newBuilder() [1/2]

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

Definition at line 528 of file AutomatonConstraintProto.java.

◆ newBuilder() [2/2]

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

Definition at line 531 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [1/2]

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

Definition at line 527 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [2/2]

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

Definition at line 541 of file AutomatonConstraintProto.java.

◆ newInstance()

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

Definition at line 34 of file AutomatonConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 499 of file AutomatonConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

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

Definition at line 505 of file AutomatonConstraintProto.java.

◆ parseFrom() [1/10]

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

Definition at line 476 of file AutomatonConstraintProto.java.

◆ parseFrom() [2/10]

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

Definition at line 480 of file AutomatonConstraintProto.java.

◆ parseFrom() [3/10]

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

Definition at line 465 of file AutomatonConstraintProto.java.

◆ parseFrom() [4/10]

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

Definition at line 470 of file AutomatonConstraintProto.java.

◆ parseFrom() [5/10]

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

Definition at line 512 of file AutomatonConstraintProto.java.

◆ parseFrom() [6/10]

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

Definition at line 518 of file AutomatonConstraintProto.java.

◆ parseFrom() [7/10]

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

Definition at line 486 of file AutomatonConstraintProto.java.

◆ parseFrom() [8/10]

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

Definition at line 491 of file AutomatonConstraintProto.java.

◆ parseFrom() [9/10]

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

Definition at line 454 of file AutomatonConstraintProto.java.

◆ parseFrom() [10/10]

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

Definition at line 459 of file AutomatonConstraintProto.java.

◆ parser()

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

Definition at line 1473 of file AutomatonConstraintProto.java.

◆ toBuilder()

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

Definition at line 535 of file AutomatonConstraintProto.java.

◆ writeTo()

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

Definition at line 264 of file AutomatonConstraintProto.java.

Member Data Documentation

◆ FINAL_STATES_FIELD_NUMBER

final int com.google.ortools.sat.AutomatonConstraintProto.FINAL_STATES_FIELD_NUMBER = 3
static

Definition at line 69 of file AutomatonConstraintProto.java.

◆ STARTING_STATE_FIELD_NUMBER

final int com.google.ortools.sat.AutomatonConstraintProto.STARTING_STATE_FIELD_NUMBER = 2
static

Definition at line 52 of file AutomatonConstraintProto.java.

◆ TRANSITION_HEAD_FIELD_NUMBER

final int com.google.ortools.sat.AutomatonConstraintProto.TRANSITION_HEAD_FIELD_NUMBER = 5
static

Definition at line 147 of file AutomatonConstraintProto.java.

◆ TRANSITION_LABEL_FIELD_NUMBER

final int com.google.ortools.sat.AutomatonConstraintProto.TRANSITION_LABEL_FIELD_NUMBER = 6
static

Definition at line 177 of file AutomatonConstraintProto.java.

◆ TRANSITION_TAIL_FIELD_NUMBER

final int com.google.ortools.sat.AutomatonConstraintProto.TRANSITION_TAIL_FIELD_NUMBER = 4
static

Definition at line 99 of file AutomatonConstraintProto.java.

◆ VARS_FIELD_NUMBER

final int com.google.ortools.sat.AutomatonConstraintProto.VARS_FIELD_NUMBER = 7
static

Definition at line 207 of file AutomatonConstraintProto.java.


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