Java Reference

Java Reference

Detailed Description

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

Protobuf type

operations_research.sat.AutomatonConstraintProto

Definition at line 14 of file AutomatonConstraintProto.java.

Classes

class  Builder
 

Public Member Functions

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ()
 
.lang.Override long getStartingState ()
 
.lang.Override java.util.List< java.lang.Long > getFinalStatesList ()
 repeated int64 final_states = 3; More...
 
int getFinalStatesCount ()
 repeated int64 final_states = 3; More...
 
long getFinalStates (int index)
 repeated int64 final_states = 3; More...
 
.lang.Override java.util.List< java.lang.Long > getTransitionTailList ()
 
int getTransitionTailCount ()
 
long getTransitionTail (int index)
 
.lang.Override java.util.List< java.lang.Long > getTransitionHeadList ()
 repeated int64 transition_head = 5; More...
 
int getTransitionHeadCount ()
 repeated int64 transition_head = 5; More...
 
long getTransitionHead (int index)
 repeated int64 transition_head = 5; More...
 
.lang.Override java.util.List< java.lang.Long > getTransitionLabelList ()
 repeated int64 transition_label = 6; More...
 
int getTransitionLabelCount ()
 repeated int64 transition_label = 6; More...
 
long getTransitionLabel (int index)
 repeated int64 transition_label = 6; More...
 
.lang.Override java.util.List< java.lang.Integer > getVarsList ()
 
int getVarsCount ()
 
int getVars (int index)
 
.lang.Override final boolean isInitialized ()
 
.lang.Override void writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
 
.lang.Override int getSerializedSize ()
 
.lang.Override boolean equals (final java.lang.Object obj)
 
.lang.Override int hashCode ()
 
.lang.Override Builder newBuilderForType ()
 
.lang.Override Builder toBuilder ()
 
.lang.Override com.google.protobuf.Parser< AutomatonConstraintProtogetParserForType ()
 
.lang.Override 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

.lang.Override java.lang.Object newInstance (UnusedPrivateParameter unused)
 
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ()
 
.lang.Override Builder newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
 

Member Function Documentation

◆ equals()

.lang.Override boolean equals ( final java.lang.Object  obj)

Definition at line 551 of file AutomatonConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 1482 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 1507 of file AutomatonConstraintProto.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ( )
static

Definition at line 207 of file AutomatonConstraintProto.java.

◆ getFinalStates()

long getFinalStates ( int  index)

repeated int64 final_states = 3;

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

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 259 of file AutomatonConstraintProto.java.

◆ getFinalStatesCount()

int getFinalStatesCount ( )

repeated int64 final_states = 3;

Returns
The count of finalStates.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 251 of file AutomatonConstraintProto.java.

◆ getFinalStatesList()

.lang.Override java.util.List<java.lang.Long> getFinalStatesList ( )

repeated int64 final_states = 3;

Returns
A list containing the finalStates.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 244 of file AutomatonConstraintProto.java.

◆ getParserForType()

.lang.Override com.google.protobuf.Parser<AutomatonConstraintProto> getParserForType ( )

Definition at line 1502 of file AutomatonConstraintProto.java.

◆ getSerializedSize()

.lang.Override int getSerializedSize ( )

Definition at line 466 of file AutomatonConstraintProto.java.

◆ getStartingState()

.lang.Override long 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 AutomatonConstraintProtoOrBuilder.

Definition at line 232 of file AutomatonConstraintProto.java.

◆ getTransitionHead()

long getTransitionHead ( int  index)

repeated int64 transition_head = 5;

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

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 333 of file AutomatonConstraintProto.java.

◆ getTransitionHeadCount()

int getTransitionHeadCount ( )

repeated int64 transition_head = 5;

Returns
The count of transitionHead.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 325 of file AutomatonConstraintProto.java.

◆ getTransitionHeadList()

.lang.Override java.util.List<java.lang.Long> getTransitionHeadList ( )

repeated int64 transition_head = 5;

Returns
A list containing the transitionHead.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 318 of file AutomatonConstraintProto.java.

◆ getTransitionLabel()

long getTransitionLabel ( int  index)

repeated int64 transition_label = 6;

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

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 361 of file AutomatonConstraintProto.java.

◆ getTransitionLabelCount()

int getTransitionLabelCount ( )

repeated int64 transition_label = 6;

Returns
The count of transitionLabel.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 353 of file AutomatonConstraintProto.java.

◆ getTransitionLabelList()

.lang.Override java.util.List<java.lang.Long> getTransitionLabelList ( )

repeated int64 transition_label = 6;

Returns
A list containing the transitionLabel.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 346 of file AutomatonConstraintProto.java.

◆ getTransitionTail()

long 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 AutomatonConstraintProtoOrBuilder.

Definition at line 305 of file AutomatonConstraintProto.java.

◆ getTransitionTailCount()

int 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 AutomatonConstraintProtoOrBuilder.

Definition at line 291 of file AutomatonConstraintProto.java.

◆ getTransitionTailList()

.lang.Override java.util.List<java.lang.Long> 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 AutomatonConstraintProtoOrBuilder.

Definition at line 278 of file AutomatonConstraintProto.java.

◆ getUnknownFields()

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ( )

Definition at line 40 of file AutomatonConstraintProto.java.

◆ getVars()

int 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 AutomatonConstraintProtoOrBuilder.

Definition at line 404 of file AutomatonConstraintProto.java.

◆ getVarsCount()

int 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 AutomatonConstraintProtoOrBuilder.

Definition at line 391 of file AutomatonConstraintProto.java.

◆ getVarsList()

.lang.Override java.util.List<java.lang.Integer> 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 AutomatonConstraintProtoOrBuilder.

Definition at line 379 of file AutomatonConstraintProto.java.

◆ hashCode()

.lang.Override int hashCode ( )

Definition at line 577 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ( )
protected

Definition at line 213 of file AutomatonConstraintProto.java.

◆ isInitialized()

.lang.Override final boolean isInitialized ( )

Definition at line 411 of file AutomatonConstraintProto.java.

◆ newBuilder() [1/2]

static Builder newBuilder ( )
static

Definition at line 683 of file AutomatonConstraintProto.java.

◆ newBuilder() [2/2]

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

Definition at line 686 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [1/2]

.lang.Override Builder newBuilderForType ( )

Definition at line 682 of file AutomatonConstraintProto.java.

◆ newBuilderForType() [2/2]

.lang.Override Builder newBuilderForType ( com.google.protobuf.GeneratedMessageV3.BuilderParent  parent)
protected

Definition at line 696 of file AutomatonConstraintProto.java.

◆ newInstance()

.lang.Override java.lang.Object newInstance ( UnusedPrivateParameter  unused)
protected

Definition at line 33 of file AutomatonConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 655 of file AutomatonConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

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

Definition at line 660 of file AutomatonConstraintProto.java.

◆ parseFrom() [1/10]

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

Definition at line 633 of file AutomatonConstraintProto.java.

◆ parseFrom() [2/10]

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

Definition at line 637 of file AutomatonConstraintProto.java.

◆ parseFrom() [3/10]

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

Definition at line 622 of file AutomatonConstraintProto.java.

◆ parseFrom() [4/10]

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

◆ parseFrom() [5/10]

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

Definition at line 667 of file AutomatonConstraintProto.java.

◆ parseFrom() [6/10]

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

Definition at line 673 of file AutomatonConstraintProto.java.

◆ parseFrom() [7/10]

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

Definition at line 643 of file AutomatonConstraintProto.java.

◆ parseFrom() [8/10]

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

Definition at line 648 of file AutomatonConstraintProto.java.

◆ parseFrom() [9/10]

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

Definition at line 611 of file AutomatonConstraintProto.java.

◆ parseFrom() [10/10]

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

Definition at line 616 of file AutomatonConstraintProto.java.

◆ parser()

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

Definition at line 1497 of file AutomatonConstraintProto.java.

◆ toBuilder()

.lang.Override Builder toBuilder ( )

Definition at line 690 of file AutomatonConstraintProto.java.

◆ writeTo()

.lang.Override void writeTo ( com.google.protobuf.CodedOutputStream  output) throws java.io.IOException

Definition at line 421 of file AutomatonConstraintProto.java.

Member Data Documentation

◆ FINAL_STATES_FIELD_NUMBER

final int FINAL_STATES_FIELD_NUMBER = 3
static

Definition at line 236 of file AutomatonConstraintProto.java.

◆ STARTING_STATE_FIELD_NUMBER

final int STARTING_STATE_FIELD_NUMBER = 2
static

Definition at line 219 of file AutomatonConstraintProto.java.

◆ TRANSITION_HEAD_FIELD_NUMBER

final int TRANSITION_HEAD_FIELD_NUMBER = 5
static

Definition at line 310 of file AutomatonConstraintProto.java.

◆ TRANSITION_LABEL_FIELD_NUMBER

final int TRANSITION_LABEL_FIELD_NUMBER = 6
static

Definition at line 338 of file AutomatonConstraintProto.java.

◆ TRANSITION_TAIL_FIELD_NUMBER

final int TRANSITION_TAIL_FIELD_NUMBER = 4
static

Definition at line 264 of file AutomatonConstraintProto.java.

◆ VARS_FIELD_NUMBER

final int VARS_FIELD_NUMBER = 7
static

Definition at line 366 of file AutomatonConstraintProto.java.


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