com.google.ortools.sat

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, java.io.Serializable

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:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AutomatonConstraintProto.Builder 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

Fields

Modifier and Type	Field and Description
static int	EXPRS_FIELD_NUMBER
static int	FINAL_STATES_FIELD_NUMBER
static int	STARTING_STATE_FIELD_NUMBER
static int	TRANSITION_HEAD_FIELD_NUMBER
static int	TRANSITION_LABEL_FIELD_NUMBER
static int	TRANSITION_TAIL_FIELD_NUMBER
static int	VARS_FIELD_NUMBER

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 Type	Method and Description
boolean	equals(java.lang.Object obj)
static AutomatonConstraintProto	getDefaultInstance()
AutomatonConstraintProto	getDefaultInstanceForType()
static com.google.protobuf.Descriptors.Descriptor	getDescriptor()
LinearExpressionProto	getExprs(int index) 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;
com.google.protobuf.Parser<AutomatonConstraintProto>	getParserForType()
int	getSerializedSize()
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.
int	hashCode()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
boolean	isInitialized()
static AutomatonConstraintProto.Builder	newBuilder()
static AutomatonConstraintProto.Builder	newBuilder(AutomatonConstraintProto prototype)
AutomatonConstraintProto.Builder	newBuilderForType()
protected AutomatonConstraintProto.Builder	newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
static AutomatonConstraintProto	parseDelimitedFrom(java.io.InputStream input)
static AutomatonConstraintProto	parseDelimitedFrom(java.io.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(java.nio.ByteBuffer data)
static AutomatonConstraintProto	parseFrom(java.nio.ByteBuffer 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(java.io.InputStream input)
static AutomatonConstraintProto	parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static com.google.protobuf.Parser<AutomatonConstraintProto>	parser()
AutomatonConstraintProto.Builder	toBuilder()
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.MessageOrBuilder

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

Methods inherited from interface com.google.protobuf.MessageLite

toByteArray, toByteString, writeDelimitedTo, writeTo

Field Detail

STARTING_STATE_FIELD_NUMBER

public static final int STARTING_STATE_FIELD_NUMBER

See Also:

Constant Field Values

FINAL_STATES_FIELD_NUMBER

public static final int FINAL_STATES_FIELD_NUMBER

See Also:

Constant Field Values

TRANSITION_TAIL_FIELD_NUMBER

public static final int TRANSITION_TAIL_FIELD_NUMBER

See Also:

Constant Field Values

TRANSITION_HEAD_FIELD_NUMBER

public static final int TRANSITION_HEAD_FIELD_NUMBER

See Also:

Constant Field Values

TRANSITION_LABEL_FIELD_NUMBER

public static final int TRANSITION_LABEL_FIELD_NUMBER

See Also:

Constant Field Values

VARS_FIELD_NUMBER

public static final int VARS_FIELD_NUMBER

See Also:

Constant Field Values

EXPRS_FIELD_NUMBER

public static final int EXPRS_FIELD_NUMBER

See Also:

Constant Field Values

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

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.

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.

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.

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.

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.

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.

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

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

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

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

isInitialized

public final boolean isInitialized()

Specified by:

isInitialized in interface com.google.protobuf.MessageLiteOrBuilder

Overrides:

isInitialized in class com.google.protobuf.GeneratedMessage

writeTo

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

Specified by:

writeTo in interface com.google.protobuf.MessageLite

Overrides:

writeTo in class com.google.protobuf.GeneratedMessage

Throws:

java.io.IOException

getSerializedSize

public int getSerializedSize()

Specified by:

getSerializedSize in interface com.google.protobuf.MessageLite

Overrides:

getSerializedSize in class com.google.protobuf.GeneratedMessage

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface com.google.protobuf.Message

Overrides:

equals in class com.google.protobuf.AbstractMessage

hashCode

public int hashCode()

Specified by:

hashCode in interface com.google.protobuf.Message

Overrides:

hashCode in class com.google.protobuf.AbstractMessage

parseFrom

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

Throws:

com.google.protobuf.InvalidProtocolBufferException

parseFrom

public static AutomatonConstraintProto parseFrom(java.nio.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

public static AutomatonConstraintProto parseFrom(java.io.InputStream input)
                                          throws java.io.IOException

Throws:

java.io.IOException

parseFrom

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

Throws:

java.io.IOException

parseDelimitedFrom

public static AutomatonConstraintProto parseDelimitedFrom(java.io.InputStream input)
                                                   throws java.io.IOException

Throws:

java.io.IOException

parseDelimitedFrom

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

Throws:

java.io.IOException

parseFrom

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

Throws:

java.io.IOException

parseFrom

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

Throws:

java.io.IOException

newBuilderForType

public AutomatonConstraintProto.Builder newBuilderForType()

Specified by:

newBuilderForType in interface com.google.protobuf.Message

Specified by:

newBuilderForType in interface com.google.protobuf.MessageLite

newBuilder

public static AutomatonConstraintProto.Builder newBuilder()

newBuilder

public static AutomatonConstraintProto.Builder newBuilder(AutomatonConstraintProto prototype)

toBuilder

public AutomatonConstraintProto.Builder toBuilder()

Specified by:

toBuilder in interface com.google.protobuf.Message

Specified by:

toBuilder in interface com.google.protobuf.MessageLite

newBuilderForType

protected AutomatonConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)

Overrides:

newBuilderForType in class com.google.protobuf.AbstractMessage

getDefaultInstance

public static AutomatonConstraintProto getDefaultInstance()

parser

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

getParserForType

public com.google.protobuf.Parser<AutomatonConstraintProto> getParserForType()

Specified by:

getParserForType in interface com.google.protobuf.Message

Specified by:

getParserForType in interface com.google.protobuf.MessageLite

Overrides:

getParserForType in class com.google.protobuf.GeneratedMessage

getDefaultInstanceForType

public AutomatonConstraintProto getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder