Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Member Functions | Static Public Attributes | Protected Member Functions | List of all members
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)
 
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)
 

Detailed Description

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

Protobuf type operations_research.sat.AutomatonConstraintProto

Definition at line 16 of file AutomatonConstraintProto.java.

Member Function Documentation

◆ equals()

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

Definition at line 473 of file AutomatonConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 1888 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 1924 of file AutomatonConstraintProto.java.

◆ getDescriptor()

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

Definition at line 44 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 306 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 293 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 266 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 319 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 280 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 98 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 90 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 83 of file AutomatonConstraintProto.java.

◆ getParserForType()

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

Definition at line 1919 of file AutomatonConstraintProto.java.

◆ getSerializedSize()

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

Definition at line 384 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 69 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 176 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 168 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 161 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 206 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 198 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 191 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 146 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 132 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 119 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 248 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 236 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 225 of file AutomatonConstraintProto.java.

◆ hashCode()

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

Definition at line 501 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 50 of file AutomatonConstraintProto.java.

◆ isInitialized()

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

Definition at line 326 of file AutomatonConstraintProto.java.

◆ newBuilder() [1/2]

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

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

◆ newBuilderForType() [1/2]

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

Definition at line 612 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [2/2]

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

Definition at line 626 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 584 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 590 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 561 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 565 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 550 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 555 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 597 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 603 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 571 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 576 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 539 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 544 of file AutomatonConstraintProto.java.

◆ parser()

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

Definition at line 1914 of file AutomatonConstraintProto.java.

◆ toBuilder()

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

Definition at line 620 of file AutomatonConstraintProto.java.

◆ writeTo()

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

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

◆ FINAL_STATES_FIELD_NUMBER

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

Definition at line 73 of file AutomatonConstraintProto.java.

◆ STARTING_STATE_FIELD_NUMBER

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

Definition at line 56 of file AutomatonConstraintProto.java.

◆ TRANSITION_HEAD_FIELD_NUMBER

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

Definition at line 151 of file AutomatonConstraintProto.java.

◆ TRANSITION_LABEL_FIELD_NUMBER

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

Definition at line 181 of file AutomatonConstraintProto.java.

◆ TRANSITION_TAIL_FIELD_NUMBER

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

Definition at line 103 of file AutomatonConstraintProto.java.

◆ VARS_FIELD_NUMBER

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

Definition at line 211 of file AutomatonConstraintProto.java.

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