com.google.ortools.sat

Interface AutomatonConstraintProtoOrBuilder

All Superinterfaces:

com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder

All Known Implementing Classes:

AutomatonConstraintProto, AutomatonConstraintProto.Builder

public interface AutomatonConstraintProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder

Method Summary

Modifier and Type	Method and Description
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.

Methods inherited from interface com.google.protobuf.MessageOrBuilder

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

Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder

isInitialized

Method Detail

getStartingState

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;

Returns:

The startingState.

getFinalStatesList

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

repeated int64 final_states = 3;

Returns:

A list containing the finalStates.

getFinalStatesCount

int getFinalStatesCount()

repeated int64 final_states = 3;

Returns:

The count of finalStates.

getFinalStates

long getFinalStates(int index)

repeated int64 final_states = 3;

Parameters:

index - The index of the element to return.

Returns:

The finalStates at the given index.

getTransitionTailList

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;

Returns:

A list containing the transitionTail.

getTransitionTailCount

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;

Returns:

The count of transitionTail.

getTransitionTail

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;

Parameters:

index - The index of the element to return.

Returns:

The transitionTail at the given index.

getTransitionHeadList

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

repeated int64 transition_head = 5;

Returns:

A list containing the transitionHead.

getTransitionHeadCount

int getTransitionHeadCount()

repeated int64 transition_head = 5;

Returns:

The count of transitionHead.

getTransitionHead

long getTransitionHead(int index)

repeated int64 transition_head = 5;

Parameters:

index - The index of the element to return.

Returns:

The transitionHead at the given index.

getTransitionLabelList

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

repeated int64 transition_label = 6;

Returns:

A list containing the transitionLabel.

getTransitionLabelCount

int getTransitionLabelCount()

repeated int64 transition_label = 6;

Returns:

The count of transitionLabel.

getTransitionLabel

long getTransitionLabel(int index)

repeated int64 transition_label = 6;

Parameters:

index - The index of the element to return.

Returns:

The transitionLabel at the given index.

getVarsList

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;

Returns:

A list containing the vars.

getVarsCount

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;

Returns:

The count of vars.

getVars

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;

Parameters:

index - The index of the element to return.

Returns:

The vars at the given index.