Class AutomatonConstraintProto
java.lang.Object
com.google.protobuf.AbstractMessageLite
com.google.protobuf.AbstractMessage
com.google.protobuf.GeneratedMessage
com.google.ortools.sat.AutomatonConstraintProto
- All Implemented Interfaces:
AutomatonConstraintProtoOrBuilder
,com.google.protobuf.Message
,com.google.protobuf.MessageLite
,com.google.protobuf.MessageLiteOrBuilder
,com.google.protobuf.MessageOrBuilder
,Serializable
@Generated
public final class AutomatonConstraintProto
extends com.google.protobuf.GeneratedMessage
implements AutomatonConstraintProtoOrBuilder
This constraint forces a sequence of expressions to be accepted by an automaton.Protobuf type
operations_research.sat.AutomatonConstraintProto
- See Also:
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic final class
This constraint forces a sequence of expressions to be accepted by an automaton.Nested classes/interfaces inherited from class com.google.protobuf.GeneratedMessage
com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>, BuilderT extends com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT,
BuilderT>>, com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.ExtendableMessageOrBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.FieldAccessorTable, com.google.protobuf.GeneratedMessage.GeneratedExtension<ContainingT extends com.google.protobuf.Message, T>, com.google.protobuf.GeneratedMessage.UnusedPrivateParameter Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessage
com.google.protobuf.AbstractMessage.BuilderParent
Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessageLite
com.google.protobuf.AbstractMessageLite.InternalOneOfEnum
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
static final int
static final int
static final int
static final int
static final int
static final int
Fields inherited from class com.google.protobuf.GeneratedMessage
alwaysUseFieldBuilders, unknownFields
Fields inherited from class com.google.protobuf.AbstractMessage
memoizedSize
Fields inherited from class com.google.protobuf.AbstractMessageLite
memoizedHashCode
-
Method Summary
Modifier and TypeMethodDescriptionboolean
static AutomatonConstraintProto
static final com.google.protobuf.Descriptors.Descriptor
getExprs
(int index) The sequence of affine expressions (a * var + b).int
The sequence of affine expressions (a * var + b).The sequence of affine expressions (a * var + b).getExprsOrBuilder
(int index) The sequence of affine expressions (a * var + b).List
<? extends LinearExpressionProtoOrBuilder> The sequence of affine expressions (a * var + b).long
getFinalStates
(int index) repeated int64 final_states = 3;
int
repeated int64 final_states = 3;
repeated int64 final_states = 3;
com.google.protobuf.Parser
<AutomatonConstraintProto> int
long
A state is identified by a non-negative number.long
getTransitionHead
(int index) repeated int64 transition_head = 5;
int
repeated int64 transition_head = 5;
repeated int64 transition_head = 5;
long
getTransitionLabel
(int index) repeated int64 transition_label = 6;
int
repeated int64 transition_label = 6;
repeated int64 transition_label = 6;
long
getTransitionTail
(int index) List of transitions (all 3 vectors have the same size).int
List of transitions (all 3 vectors have the same size).List of transitions (all 3 vectors have the same size).int
getVars
(int index) Legacy field.int
Legacy field.Legacy field.int
hashCode()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
final boolean
newBuilder
(AutomatonConstraintProto prototype) protected AutomatonConstraintProto.Builder
newBuilderForType
(com.google.protobuf.AbstractMessage.BuilderParent parent) static AutomatonConstraintProto
parseDelimitedFrom
(InputStream input) static AutomatonConstraintProto
parseDelimitedFrom
(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static AutomatonConstraintProto
parseFrom
(byte[] data) static AutomatonConstraintProto
parseFrom
(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static AutomatonConstraintProto
parseFrom
(com.google.protobuf.ByteString data) static AutomatonConstraintProto
parseFrom
(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static AutomatonConstraintProto
parseFrom
(com.google.protobuf.CodedInputStream input) static AutomatonConstraintProto
parseFrom
(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static AutomatonConstraintProto
parseFrom
(InputStream input) static AutomatonConstraintProto
parseFrom
(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static AutomatonConstraintProto
parseFrom
(ByteBuffer data) static AutomatonConstraintProto
parseFrom
(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) static com.google.protobuf.Parser
<AutomatonConstraintProto> parser()
void
writeTo
(com.google.protobuf.CodedOutputStream output) Methods inherited from class com.google.protobuf.GeneratedMessage
canUseUnsafe, computeStringSize, computeStringSizeNoTag, emptyBooleanList, emptyDoubleList, emptyFloatList, emptyIntList, emptyList, emptyLongList, getAllFields, getDescriptorForType, getField, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, isStringEmpty, makeMutableCopy, makeMutableCopy, mergeFromAndMakeImmutableInternal, newFileScopedGeneratedExtension, newInstance, newMessageScopedGeneratedExtension, parseDelimitedWithIOException, parseDelimitedWithIOException, parseUnknownField, parseUnknownFieldProto3, parseWithIOException, parseWithIOException, parseWithIOException, parseWithIOException, serializeBooleanMapTo, serializeIntegerMapTo, serializeLongMapTo, serializeStringMapTo, writeReplace, writeString, writeStringNoTag
Methods inherited from class com.google.protobuf.AbstractMessage
findInitializationErrors, getInitializationErrorString, hashFields, toString
Methods inherited from class com.google.protobuf.AbstractMessageLite
addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface com.google.protobuf.MessageLite
toByteArray, toByteString, writeDelimitedTo, writeTo
Methods inherited from interface com.google.protobuf.MessageOrBuilder
findInitializationErrors, getAllFields, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
-
Field Details
-
STARTING_STATE_FIELD_NUMBER
public static final int STARTING_STATE_FIELD_NUMBER- See Also:
-
FINAL_STATES_FIELD_NUMBER
public static final int FINAL_STATES_FIELD_NUMBER- See Also:
-
TRANSITION_TAIL_FIELD_NUMBER
public static final int TRANSITION_TAIL_FIELD_NUMBER- See Also:
-
TRANSITION_HEAD_FIELD_NUMBER
public static final int TRANSITION_HEAD_FIELD_NUMBER- See Also:
-
TRANSITION_LABEL_FIELD_NUMBER
public static final int TRANSITION_LABEL_FIELD_NUMBER- See Also:
-
VARS_FIELD_NUMBER
public static final int VARS_FIELD_NUMBER- See Also:
-
EXPRS_FIELD_NUMBER
public static final int EXPRS_FIELD_NUMBER- See Also:
-
-
Method Details
-
getDescriptor
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor() -
internalGetFieldAccessorTable
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()- Specified by:
internalGetFieldAccessorTable
in classcom.google.protobuf.GeneratedMessage
-
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 interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- The startingState.
-
getFinalStatesList
repeated int64 final_states = 3;
- Specified by:
getFinalStatesList
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- A list containing the finalStates.
-
getFinalStatesCount
public int getFinalStatesCount()repeated int64 final_states = 3;
- Specified by:
getFinalStatesCount
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- The count of finalStates.
-
getFinalStates
public long getFinalStates(int index) repeated int64 final_states = 3;
- Specified by:
getFinalStates
in interfaceAutomatonConstraintProtoOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The finalStates at the given index.
-
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 interfaceAutomatonConstraintProtoOrBuilder
- 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 interfaceAutomatonConstraintProtoOrBuilder
- 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 interfaceAutomatonConstraintProtoOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The transitionTail at the given index.
-
getTransitionHeadList
repeated int64 transition_head = 5;
- Specified by:
getTransitionHeadList
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- A list containing the transitionHead.
-
getTransitionHeadCount
public int getTransitionHeadCount()repeated int64 transition_head = 5;
- Specified by:
getTransitionHeadCount
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- The count of transitionHead.
-
getTransitionHead
public long getTransitionHead(int index) repeated int64 transition_head = 5;
- Specified by:
getTransitionHead
in interfaceAutomatonConstraintProtoOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The transitionHead at the given index.
-
getTransitionLabelList
repeated int64 transition_label = 6;
- Specified by:
getTransitionLabelList
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- A list containing the transitionLabel.
-
getTransitionLabelCount
public int getTransitionLabelCount()repeated int64 transition_label = 6;
- Specified by:
getTransitionLabelCount
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- The count of transitionLabel.
-
getTransitionLabel
public long getTransitionLabel(int index) repeated int64 transition_label = 6;
- Specified by:
getTransitionLabel
in interfaceAutomatonConstraintProtoOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The transitionLabel at the given index.
-
getVarsList
Legacy field.
repeated int32 vars = 7;
- Specified by:
getVarsList
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- A list containing the vars.
-
getVarsCount
public int getVarsCount()Legacy field.
repeated int32 vars = 7;
- Specified by:
getVarsCount
in interfaceAutomatonConstraintProtoOrBuilder
- Returns:
- The count of vars.
-
getVars
public int getVars(int index) Legacy field.
repeated int32 vars = 7;
- Specified by:
getVars
in interfaceAutomatonConstraintProtoOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The vars at the given index.
-
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 interfaceAutomatonConstraintProtoOrBuilder
-
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 interfaceAutomatonConstraintProtoOrBuilder
-
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 interfaceAutomatonConstraintProtoOrBuilder
-
getExprs
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 interfaceAutomatonConstraintProtoOrBuilder
-
getExprsOrBuilder
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 interfaceAutomatonConstraintProtoOrBuilder
-
isInitialized
public final boolean isInitialized()- Specified by:
isInitialized
in interfacecom.google.protobuf.MessageLiteOrBuilder
- Overrides:
isInitialized
in classcom.google.protobuf.GeneratedMessage
-
writeTo
- Specified by:
writeTo
in interfacecom.google.protobuf.MessageLite
- Overrides:
writeTo
in classcom.google.protobuf.GeneratedMessage
- Throws:
IOException
-
getSerializedSize
public int getSerializedSize()- Specified by:
getSerializedSize
in interfacecom.google.protobuf.MessageLite
- Overrides:
getSerializedSize
in classcom.google.protobuf.GeneratedMessage
-
equals
- Specified by:
equals
in interfacecom.google.protobuf.Message
- Overrides:
equals
in classcom.google.protobuf.AbstractMessage
-
hashCode
public int hashCode()- Specified by:
hashCode
in interfacecom.google.protobuf.Message
- Overrides:
hashCode
in classcom.google.protobuf.AbstractMessage
-
parseFrom
public static AutomatonConstraintProto parseFrom(ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static AutomatonConstraintProto parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static AutomatonConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static AutomatonConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static AutomatonConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
public static AutomatonConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException - Throws:
com.google.protobuf.InvalidProtocolBufferException
-
parseFrom
- Throws:
IOException
-
parseFrom
public static AutomatonConstraintProto parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException - Throws:
IOException
-
parseDelimitedFrom
- Throws:
IOException
-
parseDelimitedFrom
public static AutomatonConstraintProto parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException - Throws:
IOException
-
parseFrom
public static AutomatonConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws IOException - Throws:
IOException
-
parseFrom
public static AutomatonConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException - Throws:
IOException
-
newBuilderForType
- Specified by:
newBuilderForType
in interfacecom.google.protobuf.Message
- Specified by:
newBuilderForType
in interfacecom.google.protobuf.MessageLite
-
newBuilder
-
newBuilder
-
toBuilder
- Specified by:
toBuilder
in interfacecom.google.protobuf.Message
- Specified by:
toBuilder
in interfacecom.google.protobuf.MessageLite
-
newBuilderForType
protected AutomatonConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) - Overrides:
newBuilderForType
in classcom.google.protobuf.AbstractMessage
-
getDefaultInstance
-
parser
-
getParserForType
- Specified by:
getParserForType
in interfacecom.google.protobuf.Message
- Specified by:
getParserForType
in interfacecom.google.protobuf.MessageLite
- Overrides:
getParserForType
in classcom.google.protobuf.GeneratedMessage
-
getDefaultInstanceForType
- Specified by:
getDefaultInstanceForType
in interfacecom.google.protobuf.MessageLiteOrBuilder
- Specified by:
getDefaultInstanceForType
in interfacecom.google.protobuf.MessageOrBuilder
-