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

Detailed Description

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

Protobuf type operations_research.sat.AutomatonConstraintProto

Definition at line 17 of file AutomatonConstraintProto.java.

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)
java.util.List< com.google.ortools.sat.LinearExpressionProto > getExprsList ()
java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > getExprsOrBuilderList ()
int getExprsCount ()
com.google.ortools.sat.LinearExpressionProto getExprs (int index)
com.google.ortools.sat.LinearExpressionProtoOrBuilder getExprsOrBuilder (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< AutomatonConstraintProto > getParserForType ()
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< AutomatonConstraintProto > parser ()

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
static final int EXPRS_FIELD_NUMBER = 8

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.AutomatonConstraintProto.equals ( final java.lang.Object obj)

Definition at line 469 of file AutomatonConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 1866 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 1902 of file AutomatonConstraintProto.java.

◆ getDescriptor()

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

Definition at line 45 of file AutomatonConstraintProto.java.

◆ getExprs()

com.google.ortools.sat.LinearExpressionProto com.google.ortools.sat.AutomatonConstraintProto.getExprs ( int index) 
The sequence of expressions. The automaton is ran for exprs_size() "steps"
and the value of exprs[i] corresponds to the transition label at step i.

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 303 of file AutomatonConstraintProto.java.

◆ getExprsCount()

int com.google.ortools.sat.AutomatonConstraintProto.getExprsCount ( ) 
The sequence of expressions. The automaton is ran for exprs_size() "steps"
and the value of exprs[i] corresponds to the transition label at step i.

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 291 of file AutomatonConstraintProto.java.

◆ getExprsList()

java.util.List< com.google.ortools.sat.LinearExpressionProto > com.google.ortools.sat.AutomatonConstraintProto.getExprsList ( ) 
The sequence of expressions. The automaton is ran for exprs_size() "steps"
and the value of exprs[i] corresponds to the transition label at step i.

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 266 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilder()

com.google.ortools.sat.LinearExpressionProtoOrBuilder com.google.ortools.sat.AutomatonConstraintProto.getExprsOrBuilder ( int index) 
The sequence of expressions. The automaton is ran for exprs_size() "steps"
and the value of exprs[i] corresponds to the transition label at step i.

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 315 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilderList()

java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > com.google.ortools.sat.AutomatonConstraintProto.getExprsOrBuilderList ( ) 
The sequence of expressions. The automaton is ran for exprs_size() "steps"
and the value of exprs[i] corresponds to the transition label at step i.

repeated .operations_research.sat.LinearExpressionProto exprs = 8;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 279 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 99 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 91 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 84 of file AutomatonConstraintProto.java.

◆ getParserForType()

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

Definition at line 1897 of file AutomatonConstraintProto.java.

◆ getSerializedSize()

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

Definition at line 380 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 70 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 177 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 169 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 162 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 207 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 199 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 192 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 147 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 133 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 120 of file AutomatonConstraintProto.java.

◆ getVars()

int com.google.ortools.sat.AutomatonConstraintProto.getVars ( int index) 
Legacy field.

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 ( ) 
Legacy field.

repeated int32 vars = 7;

Returns
The count of vars.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 237 of file AutomatonConstraintProto.java.

◆ getVarsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.AutomatonConstraintProto.getVarsList ( ) 
Legacy field.

repeated int32 vars = 7;

Returns
A list containing the vars.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 226 of file AutomatonConstraintProto.java.

◆ hashCode()

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

Definition at line 497 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 51 of file AutomatonConstraintProto.java.

◆ isInitialized()

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

Definition at line 322 of file AutomatonConstraintProto.java.

◆ newBuilder() [1/2]

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

Definition at line 609 of file AutomatonConstraintProto.java.

◆ newBuilder() [2/2]

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

Definition at line 612 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [1/2]

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

Definition at line 608 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [2/2]

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

Definition at line 622 of file AutomatonConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 580 of file AutomatonConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

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 586 of file AutomatonConstraintProto.java.

◆ parseFrom() [1/10]

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

Definition at line 557 of file AutomatonConstraintProto.java.

◆ parseFrom() [2/10]

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 561 of file AutomatonConstraintProto.java.

◆ parseFrom() [3/10]

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 546 of file AutomatonConstraintProto.java.

◆ parseFrom() [4/10]

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 551 of file AutomatonConstraintProto.java.

◆ parseFrom() [5/10]

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

Definition at line 593 of file AutomatonConstraintProto.java.

◆ parseFrom() [6/10]

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 599 of file AutomatonConstraintProto.java.

◆ parseFrom() [7/10]

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

Definition at line 567 of file AutomatonConstraintProto.java.

◆ parseFrom() [8/10]

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 572 of file AutomatonConstraintProto.java.

◆ parseFrom() [9/10]

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

Definition at line 535 of file AutomatonConstraintProto.java.

◆ parseFrom() [10/10]

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 540 of file AutomatonConstraintProto.java.

◆ parser()

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

Definition at line 1892 of file AutomatonConstraintProto.java.

◆ toBuilder()

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

Definition at line 616 of file AutomatonConstraintProto.java.

◆ writeTo()

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

Definition at line 332 of file AutomatonConstraintProto.java.

Member Data Documentation

◆ EXPRS_FIELD_NUMBER

final int com.google.ortools.sat.AutomatonConstraintProto.EXPRS_FIELD_NUMBER = 8
static

Definition at line 254 of file AutomatonConstraintProto.java.

◆ FINAL_STATES_FIELD_NUMBER

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

Definition at line 74 of file AutomatonConstraintProto.java.

◆ STARTING_STATE_FIELD_NUMBER

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

Definition at line 57 of file AutomatonConstraintProto.java.

◆ TRANSITION_HEAD_FIELD_NUMBER

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

Definition at line 152 of file AutomatonConstraintProto.java.

◆ TRANSITION_LABEL_FIELD_NUMBER

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

Definition at line 182 of file AutomatonConstraintProto.java.

◆ TRANSITION_TAIL_FIELD_NUMBER

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

Definition at line 104 of file AutomatonConstraintProto.java.

◆ VARS_FIELD_NUMBER

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

Definition at line 212 of file AutomatonConstraintProto.java.

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