public static final class AutomatonConstraintProto.Builder extends com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder> implements AutomatonConstraintProtoOrBuilder
This constraint forces a sequence of variables to be accepted by an automaton.Protobuf type
operations_research.sat.AutomatonConstraintProto| Modifier and Type | Method and Description |
|---|---|
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)
The sequence of variables.
|
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)
The sequence of variables.
|
AutomatonConstraintProto |
build() |
AutomatonConstraintProto |
buildPartial() |
AutomatonConstraintProto.Builder |
clear() |
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()
The sequence of variables.
|
AutomatonConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
com.google.protobuf.Descriptors.Descriptor |
getDescriptorForType() |
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)
The sequence of variables.
|
int |
getVarsCount()
The sequence of variables.
|
java.util.List<java.lang.Integer> |
getVarsList()
The sequence of variables.
|
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 |
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)
The sequence of variables.
|
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, setUnknownFieldsProto3findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toStringaddAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, newUninitializedMessageExceptionequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitpublic static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>public AutomatonConstraintProto.Builder clear()
clear in interface com.google.protobuf.Message.Builderclear in interface com.google.protobuf.MessageLite.Builderclear in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
getDescriptorForType in interface com.google.protobuf.Message.BuildergetDescriptorForType in interface com.google.protobuf.MessageOrBuildergetDescriptorForType in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>public AutomatonConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuildergetDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilderpublic AutomatonConstraintProto build()
build in interface com.google.protobuf.Message.Builderbuild in interface com.google.protobuf.MessageLite.Builderpublic AutomatonConstraintProto buildPartial()
buildPartial in interface com.google.protobuf.Message.BuilderbuildPartial in interface com.google.protobuf.MessageLite.Builderpublic AutomatonConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom in interface com.google.protobuf.Message.BuildermergeFrom in class com.google.protobuf.AbstractMessage.Builder<AutomatonConstraintProto.Builder>public AutomatonConstraintProto.Builder mergeFrom(AutomatonConstraintProto other)
public final boolean isInitialized()
isInitialized in interface com.google.protobuf.MessageLiteOrBuilderisInitialized in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>public AutomatonConstraintProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
mergeFrom in interface com.google.protobuf.Message.BuildermergeFrom in interface com.google.protobuf.MessageLite.BuildermergeFrom in class com.google.protobuf.AbstractMessage.Builder<AutomatonConstraintProto.Builder>java.io.IOExceptionpublic 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;getStartingState in interface AutomatonConstraintProtoOrBuilderpublic 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;value - The startingState to set.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;public java.util.List<java.lang.Long> getFinalStatesList()
repeated int64 final_states = 3;getFinalStatesList in interface AutomatonConstraintProtoOrBuilderpublic int getFinalStatesCount()
repeated int64 final_states = 3;getFinalStatesCount in interface AutomatonConstraintProtoOrBuilderpublic long getFinalStates(int index)
repeated int64 final_states = 3;getFinalStates in interface AutomatonConstraintProtoOrBuilderindex - The index of the element to return.public AutomatonConstraintProto.Builder setFinalStates(int index, long value)
repeated int64 final_states = 3;index - The index to set the value at.value - The finalStates to set.public AutomatonConstraintProto.Builder addFinalStates(long value)
repeated int64 final_states = 3;value - The finalStates to add.public AutomatonConstraintProto.Builder addAllFinalStates(java.lang.Iterable<? extends java.lang.Long> values)
repeated int64 final_states = 3;values - The finalStates to add.public AutomatonConstraintProto.Builder clearFinalStates()
repeated int64 final_states = 3;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;getTransitionTailList in interface AutomatonConstraintProtoOrBuilderpublic 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;getTransitionTailCount in interface AutomatonConstraintProtoOrBuilderpublic 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;getTransitionTail in interface AutomatonConstraintProtoOrBuilderindex - The index of the element to return.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;index - The index to set the value at.value - The transitionTail to set.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;value - The transitionTail to add.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;values - The transitionTail to add.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;public java.util.List<java.lang.Long> getTransitionHeadList()
repeated int64 transition_head = 5;getTransitionHeadList in interface AutomatonConstraintProtoOrBuilderpublic int getTransitionHeadCount()
repeated int64 transition_head = 5;getTransitionHeadCount in interface AutomatonConstraintProtoOrBuilderpublic long getTransitionHead(int index)
repeated int64 transition_head = 5;getTransitionHead in interface AutomatonConstraintProtoOrBuilderindex - The index of the element to return.public AutomatonConstraintProto.Builder setTransitionHead(int index, long value)
repeated int64 transition_head = 5;index - The index to set the value at.value - The transitionHead to set.public AutomatonConstraintProto.Builder addTransitionHead(long value)
repeated int64 transition_head = 5;value - The transitionHead to add.public AutomatonConstraintProto.Builder addAllTransitionHead(java.lang.Iterable<? extends java.lang.Long> values)
repeated int64 transition_head = 5;values - The transitionHead to add.public AutomatonConstraintProto.Builder clearTransitionHead()
repeated int64 transition_head = 5;public java.util.List<java.lang.Long> getTransitionLabelList()
repeated int64 transition_label = 6;getTransitionLabelList in interface AutomatonConstraintProtoOrBuilderpublic int getTransitionLabelCount()
repeated int64 transition_label = 6;getTransitionLabelCount in interface AutomatonConstraintProtoOrBuilderpublic long getTransitionLabel(int index)
repeated int64 transition_label = 6;getTransitionLabel in interface AutomatonConstraintProtoOrBuilderindex - The index of the element to return.public AutomatonConstraintProto.Builder setTransitionLabel(int index, long value)
repeated int64 transition_label = 6;index - The index to set the value at.value - The transitionLabel to set.public AutomatonConstraintProto.Builder addTransitionLabel(long value)
repeated int64 transition_label = 6;value - The transitionLabel to add.public AutomatonConstraintProto.Builder addAllTransitionLabel(java.lang.Iterable<? extends java.lang.Long> values)
repeated int64 transition_label = 6;values - The transitionLabel to add.public AutomatonConstraintProto.Builder clearTransitionLabel()
repeated int64 transition_label = 6;public 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;getVarsList in interface AutomatonConstraintProtoOrBuilderpublic 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;getVarsCount in interface AutomatonConstraintProtoOrBuilderpublic 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;getVars in interface AutomatonConstraintProtoOrBuilderindex - The index of the element to return.public AutomatonConstraintProto.Builder setVars(int index, int value)
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;index - The index to set the value at.value - The vars to set.public AutomatonConstraintProto.Builder addVars(int value)
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;value - The vars to add.public AutomatonConstraintProto.Builder addAllVars(java.lang.Iterable<? extends java.lang.Integer> values)
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;values - The vars to add.public AutomatonConstraintProto.Builder clearVars()
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;Copyright © 2024. All rights reserved.