Google OR-Tools v9.14
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 474 of file AutomatonConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 1889 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 1925 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 affine expressions (a * var + b). 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 307 of file AutomatonConstraintProto.java.

◆ getExprsCount()

int com.google.ortools.sat.AutomatonConstraintProto.getExprsCount ( ) 
The sequence of affine expressions (a * var + b). 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 294 of file AutomatonConstraintProto.java.

◆ getExprsList()

java.util.List< com.google.ortools.sat.LinearExpressionProto > com.google.ortools.sat.AutomatonConstraintProto.getExprsList ( ) 
The sequence of affine expressions (a * var + b). 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 267 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilder()

com.google.ortools.sat.LinearExpressionProtoOrBuilder com.google.ortools.sat.AutomatonConstraintProto.getExprsOrBuilder ( int index) 
The sequence of affine expressions (a * var + b). 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 320 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilderList()

java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > com.google.ortools.sat.AutomatonConstraintProto.getExprsOrBuilderList ( ) 
The sequence of affine expressions (a * var + b). 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 281 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 1920 of file AutomatonConstraintProto.java.

◆ getSerializedSize()

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

Definition at line 385 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 502 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 327 of file AutomatonConstraintProto.java.

◆ newBuilder() [1/2]

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

Definition at line 614 of file AutomatonConstraintProto.java.

◆ newBuilder() [2/2]

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

Definition at line 617 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [1/2]

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

Definition at line 613 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [2/2]

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

Definition at line 627 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 585 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 591 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 562 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 566 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 551 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 556 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 598 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 604 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 572 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 577 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 540 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 545 of file AutomatonConstraintProto.java.

◆ parser()

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

Definition at line 1915 of file AutomatonConstraintProto.java.

◆ toBuilder()

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

Definition at line 621 of file AutomatonConstraintProto.java.

◆ writeTo()

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

Definition at line 337 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: