Google OR-Tools v9.11
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 ()
 
- Public Member Functions inherited from com.google.ortools.sat.AutomatonConstraintProtoOrBuilder

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

com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable ()
 
Builder newBuilderForType (com.google.protobuf.GeneratedMessage.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 396 of file AutomatonConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 1405 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 1441 of file AutomatonConstraintProto.java.

◆ getDescriptor()

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

Definition at line 42 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 96 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 88 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 81 of file AutomatonConstraintProto.java.

◆ getParserForType()

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

Definition at line 1436 of file AutomatonConstraintProto.java.

◆ getSerializedSize()

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

Definition at line 311 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 67 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 174 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 166 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 159 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 204 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 196 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 189 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 144 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 130 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 117 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 249 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 236 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 224 of file AutomatonConstraintProto.java.

◆ hashCode()

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

Definition at line 422 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 48 of file AutomatonConstraintProto.java.

◆ isInitialized()

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

Definition at line 256 of file AutomatonConstraintProto.java.

◆ newBuilder() [1/2]

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

Definition at line 530 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 533 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [1/2]

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

Definition at line 529 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [2/2]

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

Definition at line 543 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 501 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 507 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 478 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 482 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 467 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 472 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 514 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 520 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 488 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 493 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 456 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 461 of file AutomatonConstraintProto.java.

◆ parser()

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

Definition at line 1431 of file AutomatonConstraintProto.java.

◆ toBuilder()

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

Definition at line 537 of file AutomatonConstraintProto.java.

◆ writeTo()

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

Definition at line 266 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 71 of file AutomatonConstraintProto.java.

◆ STARTING_STATE_FIELD_NUMBER

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

Definition at line 54 of file AutomatonConstraintProto.java.

◆ TRANSITION_HEAD_FIELD_NUMBER

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

Definition at line 149 of file AutomatonConstraintProto.java.

◆ TRANSITION_LABEL_FIELD_NUMBER

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

Definition at line 179 of file AutomatonConstraintProto.java.

◆ TRANSITION_TAIL_FIELD_NUMBER

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

Definition at line 101 of file AutomatonConstraintProto.java.

◆ VARS_FIELD_NUMBER

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

Definition at line 209 of file AutomatonConstraintProto.java.


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