com.google.ortools.sat

Class AutomatonConstraintProto.Builder

java.lang.Object

com.google.protobuf.AbstractMessageLite.Builder

com.google.protobuf.AbstractMessage.Builder<BuilderT>

com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>

com.google.ortools.sat.AutomatonConstraintProto.Builder

All Implemented Interfaces:

AutomatonConstraintProtoOrBuilder, com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, java.lang.Cloneable

Enclosing class:

AutomatonConstraintProto

public static final class AutomatonConstraintProto.Builder
extends com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>
implements AutomatonConstraintProtoOrBuilder

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

Protobuf type operations_research.sat.AutomatonConstraintProto

Method Summary

Modifier and Type	Method and Description
AutomatonConstraintProto.Builder	addAllExprs(java.lang.Iterable<? extends LinearExpressionProto> values) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	addAllFinalStates(java.lang.Iterable<? extends java.lang.Long> values) repeated int64 final_states = 3;
AutomatonConstraintProto.Builder	addAllTransitionHead(java.lang.Iterable<? extends java.lang.Long> values) repeated int64 transition_head = 5;
AutomatonConstraintProto.Builder	addAllTransitionLabel(java.lang.Iterable<? extends java.lang.Long> values) repeated int64 transition_label = 6;
AutomatonConstraintProto.Builder	addAllTransitionTail(java.lang.Iterable<? extends java.lang.Long> values) List of transitions (all 3 vectors have the same size).
AutomatonConstraintProto.Builder	addAllVars(java.lang.Iterable<? extends java.lang.Integer> values) Legacy field.
AutomatonConstraintProto.Builder	addExprs(int index, LinearExpressionProto.Builder builderForValue) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	addExprs(int index, LinearExpressionProto value) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	addExprs(LinearExpressionProto.Builder builderForValue) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	addExprs(LinearExpressionProto value) The sequence of affine expressions (a * var + b).
LinearExpressionProto.Builder	addExprsBuilder() The sequence of affine expressions (a * var + b).
LinearExpressionProto.Builder	addExprsBuilder(int index) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	addFinalStates(long value) repeated int64 final_states = 3;
AutomatonConstraintProto.Builder	addTransitionHead(long value) repeated int64 transition_head = 5;
AutomatonConstraintProto.Builder	addTransitionLabel(long value) repeated int64 transition_label = 6;
AutomatonConstraintProto.Builder	addTransitionTail(long value) List of transitions (all 3 vectors have the same size).
AutomatonConstraintProto.Builder	addVars(int value) Legacy field.
AutomatonConstraintProto	build()
AutomatonConstraintProto	buildPartial()
AutomatonConstraintProto.Builder	clear()
AutomatonConstraintProto.Builder	clearExprs() The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	clearFinalStates() repeated int64 final_states = 3;
AutomatonConstraintProto.Builder	clearStartingState() A state is identified by a non-negative number.
AutomatonConstraintProto.Builder	clearTransitionHead() repeated int64 transition_head = 5;
AutomatonConstraintProto.Builder	clearTransitionLabel() repeated int64 transition_label = 6;
AutomatonConstraintProto.Builder	clearTransitionTail() List of transitions (all 3 vectors have the same size).
AutomatonConstraintProto.Builder	clearVars() Legacy field.
AutomatonConstraintProto	getDefaultInstanceForType()
static com.google.protobuf.Descriptors.Descriptor	getDescriptor()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType()
LinearExpressionProto	getExprs(int index) The sequence of affine expressions (a * var + b).
LinearExpressionProto.Builder	getExprsBuilder(int index) The sequence of affine expressions (a * var + b).
java.util.List<LinearExpressionProto.Builder>	getExprsBuilderList() The sequence of affine expressions (a * var + b).
int	getExprsCount() The sequence of affine expressions (a * var + b).
java.util.List<LinearExpressionProto>	getExprsList() The sequence of affine expressions (a * var + b).
LinearExpressionProtoOrBuilder	getExprsOrBuilder(int index) The sequence of affine expressions (a * var + b).
java.util.List<? extends LinearExpressionProtoOrBuilder>	getExprsOrBuilderList() The sequence of affine expressions (a * var + b).
long	getFinalStates(int index) repeated int64 final_states = 3;
int	getFinalStatesCount() repeated int64 final_states = 3;
java.util.List<java.lang.Long>	getFinalStatesList() repeated int64 final_states = 3;
long	getStartingState() A state is identified by a non-negative number.
long	getTransitionHead(int index) repeated int64 transition_head = 5;
int	getTransitionHeadCount() repeated int64 transition_head = 5;
java.util.List<java.lang.Long>	getTransitionHeadList() repeated int64 transition_head = 5;
long	getTransitionLabel(int index) repeated int64 transition_label = 6;
int	getTransitionLabelCount() repeated int64 transition_label = 6;
java.util.List<java.lang.Long>	getTransitionLabelList() repeated int64 transition_label = 6;
long	getTransitionTail(int index) List of transitions (all 3 vectors have the same size).
int	getTransitionTailCount() List of transitions (all 3 vectors have the same size).
java.util.List<java.lang.Long>	getTransitionTailList() List of transitions (all 3 vectors have the same size).
int	getVars(int index) Legacy field.
int	getVarsCount() Legacy field.
java.util.List<java.lang.Integer>	getVarsList() Legacy field.
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
boolean	isInitialized()
AutomatonConstraintProto.Builder	mergeFrom(AutomatonConstraintProto other)
AutomatonConstraintProto.Builder	mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
AutomatonConstraintProto.Builder	mergeFrom(com.google.protobuf.Message other)
AutomatonConstraintProto.Builder	removeExprs(int index) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	setExprs(int index, LinearExpressionProto.Builder builderForValue) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	setExprs(int index, LinearExpressionProto value) The sequence of affine expressions (a * var + b).
AutomatonConstraintProto.Builder	setFinalStates(int index, long value) repeated int64 final_states = 3;
AutomatonConstraintProto.Builder	setStartingState(long value) A state is identified by a non-negative number.
AutomatonConstraintProto.Builder	setTransitionHead(int index, long value) repeated int64 transition_head = 5;
AutomatonConstraintProto.Builder	setTransitionLabel(int index, long value) repeated int64 transition_label = 6;
AutomatonConstraintProto.Builder	setTransitionTail(int index, long value) List of transitions (all 3 vectors have the same size).
AutomatonConstraintProto.Builder	setVars(int index, int value) Legacy field.

Methods inherited from class com.google.protobuf.GeneratedMessage.Builder

addRepeatedField, clearField, clearOneof, clone, getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, getUnknownFieldSetBuilder, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, internalGetMutableMapField, internalGetMutableMapFieldReflection, isClean, markClean, mergeUnknownFields, mergeUnknownLengthDelimitedField, mergeUnknownVarintField, newBuilderForField, onBuilt, onChanged, parseUnknownField, setField, setRepeatedField, setUnknownFields, setUnknownFieldSetBuilder, setUnknownFieldsProto3

Methods inherited from class com.google.protobuf.AbstractMessage.Builder

findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString

Methods inherited from class com.google.protobuf.AbstractMessageLite.Builder

addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, newUninitializedMessageException

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.protobuf.MessageOrBuilder

findInitializationErrors, getAllFields, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

Methods inherited from interface com.google.protobuf.Message.Builder

mergeDelimitedFrom, mergeDelimitedFrom

Method Detail

getDescriptor

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

internalGetFieldAccessorTable

protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()

Specified by:

internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>

clear

public AutomatonConstraintProto.Builder clear()

Specified by:

clear in interface com.google.protobuf.Message.Builder

Specified by:

clear in interface com.google.protobuf.MessageLite.Builder

Overrides:

clear in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>

getDescriptorForType

public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()

Specified by:

getDescriptorForType in interface com.google.protobuf.Message.Builder

Specified by:

getDescriptorForType in interface com.google.protobuf.MessageOrBuilder

Overrides:

getDescriptorForType in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>

getDefaultInstanceForType

public AutomatonConstraintProto getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder

build

public AutomatonConstraintProto build()

Specified by:

build in interface com.google.protobuf.Message.Builder

Specified by:

build in interface com.google.protobuf.MessageLite.Builder

buildPartial

public AutomatonConstraintProto buildPartial()

Specified by:

buildPartial in interface com.google.protobuf.Message.Builder

Specified by:

buildPartial in interface com.google.protobuf.MessageLite.Builder

mergeFrom

public AutomatonConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)

Specified by:

mergeFrom in interface com.google.protobuf.Message.Builder

Overrides:

mergeFrom in class com.google.protobuf.AbstractMessage.Builder<AutomatonConstraintProto.Builder>

mergeFrom

public AutomatonConstraintProto.Builder mergeFrom(AutomatonConstraintProto other)

isInitialized

public final boolean isInitialized()

Specified by:

isInitialized in interface com.google.protobuf.MessageLiteOrBuilder

Overrides:

isInitialized in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>

mergeFrom

public AutomatonConstraintProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input,
                                                  com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                           throws java.io.IOException

Specified by:

mergeFrom in interface com.google.protobuf.Message.Builder

Specified by:

mergeFrom in interface com.google.protobuf.MessageLite.Builder

Overrides:

mergeFrom in class com.google.protobuf.AbstractMessage.Builder<AutomatonConstraintProto.Builder>

Throws:

java.io.IOException

getStartingState

public 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;

Specified by:

getStartingState in interface AutomatonConstraintProtoOrBuilder

Returns:

The startingState.

setStartingState

public AutomatonConstraintProto.Builder setStartingState(long value)

 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:

value - The startingState to set.

Returns:

This builder for chaining.

clearStartingState

public AutomatonConstraintProto.Builder clearStartingState()

 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.

getFinalStatesList

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

repeated int64 final_states = 3;

Specified by:

getFinalStatesList in interface AutomatonConstraintProtoOrBuilder

Returns:

A list containing the finalStates.

getFinalStatesCount

public int getFinalStatesCount()

repeated int64 final_states = 3;

Specified by:

getFinalStatesCount in interface AutomatonConstraintProtoOrBuilder

Returns:

The count of finalStates.

getFinalStates

public long getFinalStates(int index)

repeated int64 final_states = 3;

Specified by:

getFinalStates in interface AutomatonConstraintProtoOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The finalStates at the given index.

setFinalStates

public AutomatonConstraintProto.Builder setFinalStates(int index,
                                                       long value)

repeated int64 final_states = 3;

Parameters:

index - The index to set the value at.

value - The finalStates to set.

Returns:

This builder for chaining.

addFinalStates

public AutomatonConstraintProto.Builder addFinalStates(long value)

repeated int64 final_states = 3;

Parameters:

value - The finalStates to add.

Returns:

This builder for chaining.

addAllFinalStates

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

repeated int64 final_states = 3;

Parameters:

values - The finalStates to add.

Returns:

This builder for chaining.

clearFinalStates

public AutomatonConstraintProto.Builder clearFinalStates()

repeated int64 final_states = 3;

Returns:

This builder for chaining.

getTransitionTailList

public 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;

Specified by:

getTransitionTailList in interface AutomatonConstraintProtoOrBuilder

Returns:

A list containing the transitionTail.

getTransitionTailCount

public 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;

Specified by:

getTransitionTailCount in interface AutomatonConstraintProtoOrBuilder

Returns:

The count of transitionTail.

getTransitionTail

public 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;

Specified by:

getTransitionTail in interface AutomatonConstraintProtoOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The transitionTail at the given index.

setTransitionTail

public AutomatonConstraintProto.Builder setTransitionTail(int index,
                                                          long value)

 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:

index - The index to set the value at.

value - The transitionTail to set.

Returns:

This builder for chaining.

addTransitionTail

public AutomatonConstraintProto.Builder addTransitionTail(long value)

 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:

value - The transitionTail to add.

Returns:

This builder for chaining.

addAllTransitionTail

public AutomatonConstraintProto.Builder addAllTransitionTail(java.lang.Iterable<? extends java.lang.Long> values)

 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:

values - The transitionTail to add.

Returns:

This builder for chaining.

clearTransitionTail

public AutomatonConstraintProto.Builder clearTransitionTail()

 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.

getTransitionHeadList

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

repeated int64 transition_head = 5;

Specified by:

getTransitionHeadList in interface AutomatonConstraintProtoOrBuilder

Returns:

A list containing the transitionHead.

getTransitionHeadCount

public int getTransitionHeadCount()

repeated int64 transition_head = 5;

Specified by:

getTransitionHeadCount in interface AutomatonConstraintProtoOrBuilder

Returns:

The count of transitionHead.

getTransitionHead

public long getTransitionHead(int index)

repeated int64 transition_head = 5;

Specified by:

getTransitionHead in interface AutomatonConstraintProtoOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The transitionHead at the given index.

setTransitionHead

public AutomatonConstraintProto.Builder setTransitionHead(int index,
                                                          long value)

repeated int64 transition_head = 5;

Parameters:

index - The index to set the value at.

value - The transitionHead to set.

Returns:

This builder for chaining.

addTransitionHead

public AutomatonConstraintProto.Builder addTransitionHead(long value)

repeated int64 transition_head = 5;

Parameters:

value - The transitionHead to add.

Returns:

This builder for chaining.

addAllTransitionHead

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

repeated int64 transition_head = 5;

Parameters:

values - The transitionHead to add.

Returns:

This builder for chaining.

clearTransitionHead

public AutomatonConstraintProto.Builder clearTransitionHead()

repeated int64 transition_head = 5;

Returns:

This builder for chaining.

getTransitionLabelList

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

repeated int64 transition_label = 6;

Specified by:

getTransitionLabelList in interface AutomatonConstraintProtoOrBuilder

Returns:

A list containing the transitionLabel.

getTransitionLabelCount

public int getTransitionLabelCount()

repeated int64 transition_label = 6;

Specified by:

getTransitionLabelCount in interface AutomatonConstraintProtoOrBuilder

Returns:

The count of transitionLabel.

getTransitionLabel

public long getTransitionLabel(int index)

repeated int64 transition_label = 6;

Specified by:

getTransitionLabel in interface AutomatonConstraintProtoOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The transitionLabel at the given index.

setTransitionLabel

public AutomatonConstraintProto.Builder setTransitionLabel(int index,
                                                           long value)

repeated int64 transition_label = 6;

Parameters:

index - The index to set the value at.

value - The transitionLabel to set.

Returns:

This builder for chaining.

addTransitionLabel

public AutomatonConstraintProto.Builder addTransitionLabel(long value)

repeated int64 transition_label = 6;

Parameters:

value - The transitionLabel to add.

Returns:

This builder for chaining.

addAllTransitionLabel

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

repeated int64 transition_label = 6;

Parameters:

values - The transitionLabel to add.

Returns:

This builder for chaining.

clearTransitionLabel

public AutomatonConstraintProto.Builder clearTransitionLabel()

repeated int64 transition_label = 6;

Returns:

This builder for chaining.

getVarsList

public java.util.List<java.lang.Integer> getVarsList()

 Legacy field.
 

repeated int32 vars = 7;

Specified by:

getVarsList in interface AutomatonConstraintProtoOrBuilder

Returns:

A list containing the vars.

getVarsCount

public int getVarsCount()

 Legacy field.
 

repeated int32 vars = 7;

Specified by:

getVarsCount in interface AutomatonConstraintProtoOrBuilder

Returns:

The count of vars.

getVars

public int getVars(int index)

 Legacy field.
 

repeated int32 vars = 7;

Specified by:

getVars in interface AutomatonConstraintProtoOrBuilder

Parameters:

index - The index of the element to return.

Returns:

The vars at the given index.

setVars

public AutomatonConstraintProto.Builder setVars(int index,
                                                int value)

 Legacy field.
 

repeated int32 vars = 7;

Parameters:

index - The index to set the value at.

value - The vars to set.

Returns:

This builder for chaining.

addVars

public AutomatonConstraintProto.Builder addVars(int value)

 Legacy field.
 

repeated int32 vars = 7;

Parameters:

value - The vars to add.

Returns:

This builder for chaining.

addAllVars

public AutomatonConstraintProto.Builder addAllVars(java.lang.Iterable<? extends java.lang.Integer> values)

 Legacy field.
 

repeated int32 vars = 7;

Parameters:

values - The vars to add.

Returns:

This builder for chaining.

clearVars

public AutomatonConstraintProto.Builder clearVars()

 Legacy field.
 

repeated int32 vars = 7;

Returns:

This builder for chaining.

getExprsList

public java.util.List<LinearExpressionProto> 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;

Specified by:

getExprsList in interface AutomatonConstraintProtoOrBuilder

getExprsCount

public int 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;

Specified by:

getExprsCount in interface AutomatonConstraintProtoOrBuilder

getExprs

public LinearExpressionProto 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;

Specified by:

getExprs in interface AutomatonConstraintProtoOrBuilder

setExprs

public AutomatonConstraintProto.Builder setExprs(int index,
                                                 LinearExpressionProto value)

 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;

setExprs

public AutomatonConstraintProto.Builder setExprs(int index,
                                                 LinearExpressionProto.Builder builderForValue)

 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;

addExprs

public AutomatonConstraintProto.Builder addExprs(LinearExpressionProto value)

 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;

addExprs

public AutomatonConstraintProto.Builder addExprs(int index,
                                                 LinearExpressionProto value)

 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;

addExprs

public AutomatonConstraintProto.Builder addExprs(LinearExpressionProto.Builder builderForValue)

 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;

addExprs

public AutomatonConstraintProto.Builder addExprs(int index,
                                                 LinearExpressionProto.Builder builderForValue)

 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;

addAllExprs

public AutomatonConstraintProto.Builder addAllExprs(java.lang.Iterable<? extends LinearExpressionProto> values)

 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;

clearExprs

public AutomatonConstraintProto.Builder clearExprs()

 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;

removeExprs

public AutomatonConstraintProto.Builder removeExprs(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;

getExprsBuilder

public LinearExpressionProto.Builder getExprsBuilder(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;

getExprsOrBuilder

public LinearExpressionProtoOrBuilder 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;

Specified by:

getExprsOrBuilder in interface AutomatonConstraintProtoOrBuilder

getExprsOrBuilderList

public java.util.List<? extends LinearExpressionProtoOrBuilder> 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;

Specified by:

getExprsOrBuilderList in interface AutomatonConstraintProtoOrBuilder

addExprsBuilder

public LinearExpressionProto.Builder addExprsBuilder()

 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;

addExprsBuilder

public LinearExpressionProto.Builder addExprsBuilder(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;

getExprsBuilderList

public java.util.List<LinearExpressionProto.Builder> getExprsBuilderList()

 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;