Java Reference

Java Reference

AutomatonConstraintProto.Builder

Detailed Description

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

Protobuf type

operations_research.sat.AutomatonConstraintProto

Definition at line 709 of file AutomatonConstraintProto.java.

Public Member Functions

.lang.Override Builder clear ()
 
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType ()
 
.lang.Override com.google.ortools.sat.AutomatonConstraintProto getDefaultInstanceForType ()
 
.lang.Override com.google.ortools.sat.AutomatonConstraintProto build ()
 
.lang.Override com.google.ortools.sat.AutomatonConstraintProto buildPartial ()
 
.lang.Override Builder clone ()
 
.lang.Override Builder setField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
 
.lang.Override Builder clearField (com.google.protobuf.Descriptors.FieldDescriptor field)
 
.lang.Override Builder clearOneof (com.google.protobuf.Descriptors.OneofDescriptor oneof)
 
.lang.Override Builder setRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
 
.lang.Override Builder addRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
 
.lang.Override Builder mergeFrom (com.google.protobuf.Message other)
 
Builder mergeFrom (com.google.ortools.sat.AutomatonConstraintProto other)
 
.lang.Override final boolean isInitialized ()
 
.lang.Override Builder mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
.lang.Override long getStartingState ()
 
Builder setStartingState (long value)
 
Builder clearStartingState ()
 
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...
 
Builder setFinalStates (int index, long value)
 repeated int64 final_states = 3; More...
 
Builder addFinalStates (long value)
 repeated int64 final_states = 3; More...
 
Builder addAllFinalStates (java.lang.Iterable<? extends java.lang.Long > values)
 repeated int64 final_states = 3; More...
 
Builder clearFinalStates ()
 repeated int64 final_states = 3; More...
 
java.util.List< java.lang.Long > getTransitionTailList ()
 
int getTransitionTailCount ()
 
long getTransitionTail (int index)
 
Builder setTransitionTail (int index, long value)
 
Builder addTransitionTail (long value)
 
Builder addAllTransitionTail (java.lang.Iterable<? extends java.lang.Long > values)
 
Builder clearTransitionTail ()
 
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...
 
Builder setTransitionHead (int index, long value)
 repeated int64 transition_head = 5; More...
 
Builder addTransitionHead (long value)
 repeated int64 transition_head = 5; More...
 
Builder addAllTransitionHead (java.lang.Iterable<? extends java.lang.Long > values)
 repeated int64 transition_head = 5; More...
 
Builder clearTransitionHead ()
 repeated int64 transition_head = 5; More...
 
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...
 
Builder setTransitionLabel (int index, long value)
 repeated int64 transition_label = 6; More...
 
Builder addTransitionLabel (long value)
 repeated int64 transition_label = 6; More...
 
Builder addAllTransitionLabel (java.lang.Iterable<? extends java.lang.Long > values)
 repeated int64 transition_label = 6; More...
 
Builder clearTransitionLabel ()
 repeated int64 transition_label = 6; More...
 
java.util.List< java.lang.Integer > getVarsList ()
 
int getVarsCount ()
 
int getVars (int index)
 
Builder setVars (int index, int value)
 
Builder addVars (int value)
 
Builder addAllVars (java.lang.Iterable<? extends java.lang.Integer > values)
 
Builder clearVars ()
 
.lang.Override final Builder setUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields)
 
.lang.Override final Builder mergeUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields)
 

Static Public Member Functions

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

Protected Member Functions

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

Member Function Documentation

◆ addAllFinalStates()

Builder addAllFinalStates ( java.lang.Iterable<? extends java.lang.Long >  values)
inline

repeated int64 final_states = 3;

Parameters
valuesThe finalStates to add.
Returns
This builder for chaining.

Definition at line 1049 of file AutomatonConstraintProto.java.

◆ addAllTransitionHead()

Builder addAllTransitionHead ( java.lang.Iterable<? extends java.lang.Long >  values)
inline

repeated int64 transition_head = 5;

Parameters
valuesThe transitionHead to add.
Returns
This builder for chaining.

Definition at line 1249 of file AutomatonConstraintProto.java.

◆ addAllTransitionLabel()

Builder addAllTransitionLabel ( java.lang.Iterable<? extends java.lang.Long >  values)
inline

repeated int64 transition_label = 6;

Parameters
valuesThe transitionLabel to add.
Returns
This builder for chaining.

Definition at line 1328 of file AutomatonConstraintProto.java.

◆ addAllTransitionTail()

Builder addAllTransitionTail ( java.lang.Iterable<? extends java.lang.Long >  values)
inline
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
valuesThe transitionTail to add.
Returns
This builder for chaining.

Definition at line 1164 of file AutomatonConstraintProto.java.

◆ addAllVars()

Builder addAllVars ( java.lang.Iterable<? extends java.lang.Integer >  values)
inline
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
valuesThe vars to add.
Returns
This builder for chaining.

Definition at line 1437 of file AutomatonConstraintProto.java.

◆ addFinalStates()

Builder addFinalStates ( long  value)
inline

repeated int64 final_states = 3;

Parameters
valueThe finalStates to add.
Returns
This builder for chaining.

Definition at line 1038 of file AutomatonConstraintProto.java.

◆ addRepeatedField()

.lang.Override Builder addRepeatedField ( com.google.protobuf.Descriptors.FieldDescriptor  field,
java.lang.Object  value 
)
inline

Definition at line 840 of file AutomatonConstraintProto.java.

◆ addTransitionHead()

Builder addTransitionHead ( long  value)
inline

repeated int64 transition_head = 5;

Parameters
valueThe transitionHead to add.
Returns
This builder for chaining.

Definition at line 1238 of file AutomatonConstraintProto.java.

◆ addTransitionLabel()

Builder addTransitionLabel ( long  value)
inline

repeated int64 transition_label = 6;

Parameters
valueThe transitionLabel to add.
Returns
This builder for chaining.

Definition at line 1317 of file AutomatonConstraintProto.java.

◆ addTransitionTail()

Builder addTransitionTail ( long  value)
inline
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
valueThe transitionTail to add.
Returns
This builder for chaining.

Definition at line 1147 of file AutomatonConstraintProto.java.

◆ addVars()

Builder addVars ( int  value)
inline
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
valueThe vars to add.
Returns
This builder for chaining.

Definition at line 1421 of file AutomatonConstraintProto.java.

◆ build()

.lang.Override com.google.ortools.sat.AutomatonConstraintProto build ( )
inline

Definition at line 771 of file AutomatonConstraintProto.java.

◆ buildPartial()

.lang.Override com.google.ortools.sat.AutomatonConstraintProto buildPartial ( )
inline

Definition at line 780 of file AutomatonConstraintProto.java.

◆ clear()

.lang.Override Builder clear ( )
inline

Definition at line 742 of file AutomatonConstraintProto.java.

◆ clearField()

.lang.Override Builder clearField ( com.google.protobuf.Descriptors.FieldDescriptor  field)
inline

Definition at line 824 of file AutomatonConstraintProto.java.

◆ clearFinalStates()

Builder clearFinalStates ( )
inline

repeated int64 final_states = 3;

Returns
This builder for chaining.

Definition at line 1061 of file AutomatonConstraintProto.java.

◆ clearOneof()

.lang.Override Builder clearOneof ( com.google.protobuf.Descriptors.OneofDescriptor  oneof)
inline

Definition at line 829 of file AutomatonConstraintProto.java.

◆ clearStartingState()

Builder clearStartingState ( )
inline
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
This builder for chaining.

Definition at line 982 of file AutomatonConstraintProto.java.

◆ clearTransitionHead()

Builder clearTransitionHead ( )
inline

repeated int64 transition_head = 5;

Returns
This builder for chaining.

Definition at line 1261 of file AutomatonConstraintProto.java.

◆ clearTransitionLabel()

Builder clearTransitionLabel ( )
inline

repeated int64 transition_label = 6;

Returns
This builder for chaining.

Definition at line 1340 of file AutomatonConstraintProto.java.

◆ clearTransitionTail()

Builder clearTransitionTail ( )
inline
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
This builder for chaining.

Definition at line 1182 of file AutomatonConstraintProto.java.

◆ clearVars()

Builder clearVars ( )
inline
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
This builder for chaining.

Definition at line 1454 of file AutomatonConstraintProto.java.

◆ clone()

.lang.Override Builder clone ( )
inline

Definition at line 814 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 766 of file AutomatonConstraintProto.java.

◆ getDescriptor()

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

Definition at line 714 of file AutomatonConstraintProto.java.

◆ getDescriptorForType()

.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType ( )
inline

Definition at line 761 of file AutomatonConstraintProto.java.

◆ getFinalStates()

long getFinalStates ( int  index)
inline

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

◆ getFinalStatesCount()

int getFinalStatesCount ( )
inline

repeated int64 final_states = 3;

Returns
The count of finalStates.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 1009 of file AutomatonConstraintProto.java.

◆ getFinalStatesList()

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

repeated int64 final_states = 3;

Returns
A list containing the finalStates.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 1001 of file AutomatonConstraintProto.java.

◆ getStartingState()

.lang.Override long getStartingState ( )
inline
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 952 of file AutomatonConstraintProto.java.

◆ getTransitionHead()

long getTransitionHead ( int  index)
inline

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

◆ getTransitionHeadCount()

int getTransitionHeadCount ( )
inline

repeated int64 transition_head = 5;

Returns
The count of transitionHead.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 1209 of file AutomatonConstraintProto.java.

◆ getTransitionHeadList()

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

repeated int64 transition_head = 5;

Returns
A list containing the transitionHead.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 1201 of file AutomatonConstraintProto.java.

◆ getTransitionLabel()

long getTransitionLabel ( int  index)
inline

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

◆ getTransitionLabelCount()

int getTransitionLabelCount ( )
inline

repeated int64 transition_label = 6;

Returns
The count of transitionLabel.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 1288 of file AutomatonConstraintProto.java.

◆ getTransitionLabelList()

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

repeated int64 transition_label = 6;

Returns
A list containing the transitionLabel.

Implements AutomatonConstraintProtoOrBuilder.

Definition at line 1280 of file AutomatonConstraintProto.java.

◆ getTransitionTail()

long getTransitionTail ( int  index)
inline
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 1114 of file AutomatonConstraintProto.java.

◆ getTransitionTailCount()

int getTransitionTailCount ( )
inline
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 1100 of file AutomatonConstraintProto.java.

◆ getTransitionTailList()

java.util.List<java.lang.Long> getTransitionTailList ( )
inline
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 1086 of file AutomatonConstraintProto.java.

◆ getVars()

int getVars ( int  index)
inline
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 1390 of file AutomatonConstraintProto.java.

◆ getVarsCount()

int getVarsCount ( )
inline
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 1377 of file AutomatonConstraintProto.java.

◆ getVarsList()

java.util.List<java.lang.Integer> getVarsList ( )
inline
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 1364 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 720 of file AutomatonConstraintProto.java.

◆ isInitialized()

.lang.Override final boolean isInitialized ( )
inline

Definition at line 916 of file AutomatonConstraintProto.java.

◆ mergeFrom() [1/3]

Definition at line 855 of file AutomatonConstraintProto.java.

◆ mergeFrom() [2/3]

.lang.Override Builder mergeFrom ( com.google.protobuf.CodedInputStream  input,
com.google.protobuf.ExtensionRegistryLite  extensionRegistry 
) throws java.io.IOException
inline

Definition at line 921 of file AutomatonConstraintProto.java.

◆ mergeFrom() [3/3]

.lang.Override Builder mergeFrom ( com.google.protobuf.Message  other)
inline

Definition at line 846 of file AutomatonConstraintProto.java.

◆ mergeUnknownFields()

.lang.Override final Builder mergeUnknownFields ( final com.google.protobuf.UnknownFieldSet  unknownFields)
inline

Definition at line 1467 of file AutomatonConstraintProto.java.

◆ setField()

.lang.Override Builder setField ( com.google.protobuf.Descriptors.FieldDescriptor  field,
java.lang.Object  value 
)
inline

Definition at line 818 of file AutomatonConstraintProto.java.

◆ setFinalStates()

Builder setFinalStates ( int  index,
long  value 
)
inline

repeated int64 final_states = 3;

Parameters
indexThe index to set the value at.
valueThe finalStates to set.
Returns
This builder for chaining.

Definition at line 1026 of file AutomatonConstraintProto.java.

◆ setRepeatedField()

.lang.Override Builder setRepeatedField ( com.google.protobuf.Descriptors.FieldDescriptor  field,
int  index,
java.lang.Object  value 
)
inline

Definition at line 834 of file AutomatonConstraintProto.java.

◆ setStartingState()

Builder setStartingState ( long  value)
inline
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;

Parameters
valueThe startingState to set.
Returns
This builder for chaining.

Definition at line 966 of file AutomatonConstraintProto.java.

◆ setTransitionHead()

Builder setTransitionHead ( int  index,
long  value 
)
inline

repeated int64 transition_head = 5;

Parameters
indexThe index to set the value at.
valueThe transitionHead to set.
Returns
This builder for chaining.

Definition at line 1226 of file AutomatonConstraintProto.java.

◆ setTransitionLabel()

Builder setTransitionLabel ( int  index,
long  value 
)
inline

repeated int64 transition_label = 6;

Parameters
indexThe index to set the value at.
valueThe transitionLabel to set.
Returns
This builder for chaining.

Definition at line 1305 of file AutomatonConstraintProto.java.

◆ setTransitionTail()

Builder setTransitionTail ( int  index,
long  value 
)
inline
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 to set the value at.
valueThe transitionTail to set.
Returns
This builder for chaining.

Definition at line 1129 of file AutomatonConstraintProto.java.

◆ setUnknownFields()

.lang.Override final Builder setUnknownFields ( final com.google.protobuf.UnknownFieldSet  unknownFields)
inline

Definition at line 1461 of file AutomatonConstraintProto.java.

◆ setVars()

Builder setVars ( int  index,
int  value 
)
inline
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 to set the value at.
valueThe vars to set.
Returns
This builder for chaining.

Definition at line 1404 of file AutomatonConstraintProto.java.


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