Detailed Description

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

Protobuf type operations_research.sat.AutomatonConstraintProto

Definition at line 640 of file AutomatonConstraintProto.java.

Inheritance diagram for com.google.ortools.sat.AutomatonConstraintProto.Builder:

Public Member Functions
Builder	clear ()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType ()
com.google.ortools.sat.AutomatonConstraintProto	getDefaultInstanceForType ()
com.google.ortools.sat.AutomatonConstraintProto	build ()
com.google.ortools.sat.AutomatonConstraintProto	buildPartial ()
Builder	mergeFrom (com.google.protobuf.Message other)
Builder	mergeFrom (com.google.ortools.sat.AutomatonConstraintProto other)
final boolean	isInitialized ()
Builder	mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
long	getStartingState ()
Builder	setStartingState (long value)
Builder	clearStartingState ()
java.util.List< java.lang.Long >	getFinalStatesList ()
int	getFinalStatesCount ()
long	getFinalStates (int index)
Builder	setFinalStates (int index, long value)
Builder	addFinalStates (long value)
Builder	addAllFinalStates (java.lang.Iterable<? extends java.lang.Long > values)
Builder	clearFinalStates ()
java.util.List< java.lang.Long >	getTransitionTailList ()
int	getTransitionTailCount ()
long	getTransitionTail (int index)
Builder	setTransitionTail (int index, long value)
Builder	addTransitionTail (long value)
Builder	addAllTransitionTail (java.lang.Iterable<? extends java.lang.Long > values)
Builder	clearTransitionTail ()
java.util.List< java.lang.Long >	getTransitionHeadList ()
int	getTransitionHeadCount ()
long	getTransitionHead (int index)
Builder	setTransitionHead (int index, long value)
Builder	addTransitionHead (long value)
Builder	addAllTransitionHead (java.lang.Iterable<? extends java.lang.Long > values)
Builder	clearTransitionHead ()
java.util.List< java.lang.Long >	getTransitionLabelList ()
int	getTransitionLabelCount ()
long	getTransitionLabel (int index)
Builder	setTransitionLabel (int index, long value)
Builder	addTransitionLabel (long value)
Builder	addAllTransitionLabel (java.lang.Iterable<? extends java.lang.Long > values)
Builder	clearTransitionLabel ()
java.util.List< java.lang.Integer >	getVarsList ()
int	getVarsCount ()
int	getVars (int index)
Builder	setVars (int index, int value)
Builder	addVars (int value)
Builder	addAllVars (java.lang.Iterable<? extends java.lang.Integer > values)
Builder	clearVars ()
java.util.List< com.google.ortools.sat.LinearExpressionProto >	getExprsList ()
int	getExprsCount ()
com.google.ortools.sat.LinearExpressionProto	getExprs (int index)
Builder	setExprs (int index, com.google.ortools.sat.LinearExpressionProto value)
Builder	setExprs (int index, com.google.ortools.sat.LinearExpressionProto.Builder builderForValue)
Builder	addExprs (com.google.ortools.sat.LinearExpressionProto value)
Builder	addExprs (int index, com.google.ortools.sat.LinearExpressionProto value)
Builder	addExprs (com.google.ortools.sat.LinearExpressionProto.Builder builderForValue)
Builder	addExprs (int index, com.google.ortools.sat.LinearExpressionProto.Builder builderForValue)
Builder	addAllExprs (java.lang.Iterable<? extends com.google.ortools.sat.LinearExpressionProto > values)
Builder	clearExprs ()
Builder	removeExprs (int index)
com.google.ortools.sat.LinearExpressionProto.Builder	getExprsBuilder (int index)
com.google.ortools.sat.LinearExpressionProtoOrBuilder	getExprsOrBuilder (int index)
java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder >	getExprsOrBuilderList ()
com.google.ortools.sat.LinearExpressionProto.Builder	addExprsBuilder ()
com.google.ortools.sat.LinearExpressionProto.Builder	addExprsBuilder (int index)
java.util.List< com.google.ortools.sat.LinearExpressionProto.Builder >	getExprsBuilderList ()

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()

Protected Member Functions
com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable ()

Member Function Documentation

◆ addAllExprs()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addAllExprs ( java.lang.Iterable<? extends com.google.ortools.sat.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;

Definition at line 1729 of file AutomatonConstraintProto.java.

◆ addAllFinalStates()

Builder com.google.ortools.sat.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.

Definition at line 1106 of file AutomatonConstraintProto.java.

◆ addAllTransitionHead()

Builder com.google.ortools.sat.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.

Definition at line 1316 of file AutomatonConstraintProto.java.

◆ addAllTransitionLabel()

Builder com.google.ortools.sat.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.

Definition at line 1400 of file AutomatonConstraintProto.java.

◆ addAllTransitionTail()

Builder com.google.ortools.sat.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.

Definition at line 1226 of file AutomatonConstraintProto.java.

◆ addAllVars()

Builder com.google.ortools.sat.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.

Definition at line 1508 of file AutomatonConstraintProto.java.

◆ addExprs() [1/4]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addExprs ( com.google.ortools.sat.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;

Definition at line 1644 of file AutomatonConstraintProto.java.

◆ addExprs() [2/4]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addExprs ( com.google.ortools.sat.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;

Definition at line 1689 of file AutomatonConstraintProto.java.

◆ addExprs() [3/4]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addExprs	(	int	index,
		com.google.ortools.sat.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;

Definition at line 1666 of file AutomatonConstraintProto.java.

◆ addExprs() [4/4]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addExprs	(	int	index,
		com.google.ortools.sat.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;

Definition at line 1709 of file AutomatonConstraintProto.java.

◆ addExprsBuilder() [1/2]

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.AutomatonConstraintProto.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;

Definition at line 1834 of file AutomatonConstraintProto.java.

◆ addExprsBuilder() [2/2]

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.AutomatonConstraintProto.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;

Definition at line 1847 of file AutomatonConstraintProto.java.

◆ addFinalStates()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addFinalStates ( long value )

repeated int64 final_states = 3;

Parameters

value The finalStates to add.

Returns: This builder for chaining.

Definition at line 1093 of file AutomatonConstraintProto.java.

◆ addTransitionHead()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addTransitionHead ( long value )

repeated int64 transition_head = 5;

Parameters

value The transitionHead to add.

Returns: This builder for chaining.

Definition at line 1303 of file AutomatonConstraintProto.java.

◆ addTransitionLabel()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addTransitionLabel ( long value )

repeated int64 transition_label = 6;

Parameters

value The transitionLabel to add.

Returns: This builder for chaining.

Definition at line 1387 of file AutomatonConstraintProto.java.

◆ addTransitionTail()

Builder com.google.ortools.sat.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.

Definition at line 1207 of file AutomatonConstraintProto.java.

◆ addVars()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addVars ( int value )

Legacy field.

repeated int32 vars = 7;

Parameters

value The vars to add.

Returns: This builder for chaining.

Definition at line 1491 of file AutomatonConstraintProto.java.

◆ build()

com.google.ortools.sat.AutomatonConstraintProto com.google.ortools.sat.AutomatonConstraintProto.Builder.build ( )

Definition at line 699 of file AutomatonConstraintProto.java.

◆ buildPartial()

com.google.ortools.sat.AutomatonConstraintProto com.google.ortools.sat.AutomatonConstraintProto.Builder.buildPartial ( )

Definition at line 708 of file AutomatonConstraintProto.java.

◆ clear()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.clear ( )

Definition at line 668 of file AutomatonConstraintProto.java.

◆ clearExprs()

Builder com.google.ortools.sat.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;

Definition at line 1750 of file AutomatonConstraintProto.java.

◆ clearFinalStates()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.clearFinalStates ( )

repeated int64 final_states = 3;

Returns: This builder for chaining.

Definition at line 1119 of file AutomatonConstraintProto.java.

◆ clearStartingState()

Builder com.google.ortools.sat.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.

Definition at line 1035 of file AutomatonConstraintProto.java.

◆ clearTransitionHead()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.clearTransitionHead ( )

repeated int64 transition_head = 5;

Returns: This builder for chaining.

Definition at line 1329 of file AutomatonConstraintProto.java.

◆ clearTransitionLabel()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.clearTransitionLabel ( )

repeated int64 transition_label = 6;

Returns: This builder for chaining.

Definition at line 1413 of file AutomatonConstraintProto.java.

◆ clearTransitionTail()

Builder com.google.ortools.sat.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.

Definition at line 1245 of file AutomatonConstraintProto.java.

◆ clearVars()

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.clearVars ( )

Legacy field.

repeated int32 vars = 7;

Returns: This builder for chaining.

Definition at line 1525 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

com.google.ortools.sat.AutomatonConstraintProto com.google.ortools.sat.AutomatonConstraintProto.Builder.getDefaultInstanceForType ( )

Definition at line 694 of file AutomatonConstraintProto.java.

◆ getDescriptor()

final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.AutomatonConstraintProto.Builder.getDescriptor ( )

static

Definition at line 645 of file AutomatonConstraintProto.java.

◆ getDescriptorForType()

com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.AutomatonConstraintProto.Builder.getDescriptorForType ( )

Definition at line 689 of file AutomatonConstraintProto.java.

◆ getExprs()

com.google.ortools.sat.LinearExpressionProto com.google.ortools.sat.AutomatonConstraintProto.Builder.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;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1585 of file AutomatonConstraintProto.java.

◆ getExprsBuilder()

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.AutomatonConstraintProto.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;

Definition at line 1788 of file AutomatonConstraintProto.java.

◆ getExprsBuilderList()

java.util.List< com.google.ortools.sat.LinearExpressionProto.Builder > com.google.ortools.sat.AutomatonConstraintProto.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;

Definition at line 1862 of file AutomatonConstraintProto.java.

◆ getExprsCount()

int com.google.ortools.sat.AutomatonConstraintProto.Builder.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;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1569 of file AutomatonConstraintProto.java.

◆ getExprsList()

java.util.List< com.google.ortools.sat.LinearExpressionProto > com.google.ortools.sat.AutomatonConstraintProto.Builder.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;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1553 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilder()

com.google.ortools.sat.LinearExpressionProtoOrBuilder com.google.ortools.sat.AutomatonConstraintProto.Builder.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;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1801 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilderList()

java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > com.google.ortools.sat.AutomatonConstraintProto.Builder.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;

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1818 of file AutomatonConstraintProto.java.

◆ getFinalStates()

long com.google.ortools.sat.AutomatonConstraintProto.Builder.getFinalStates ( int index )

repeated int64 final_states = 3;

Parameters

index The index of the element to return.

Returns: The finalStates at the given index.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1070 of file AutomatonConstraintProto.java.

◆ getFinalStatesCount()

int com.google.ortools.sat.AutomatonConstraintProto.Builder.getFinalStatesCount ( )

repeated int64 final_states = 3;

Returns: The count of finalStates.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1062 of file AutomatonConstraintProto.java.

◆ getFinalStatesList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.Builder.getFinalStatesList ( )

repeated int64 final_states = 3;

Returns: A list containing the finalStates.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1054 of file AutomatonConstraintProto.java.

◆ getStartingState()

long com.google.ortools.sat.AutomatonConstraintProto.Builder.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.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1004 of file AutomatonConstraintProto.java.

◆ getTransitionHead()

long com.google.ortools.sat.AutomatonConstraintProto.Builder.getTransitionHead ( int index )

repeated int64 transition_head = 5;

Parameters

index The index of the element to return.

Returns: The transitionHead at the given index.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1280 of file AutomatonConstraintProto.java.

◆ getTransitionHeadCount()

int com.google.ortools.sat.AutomatonConstraintProto.Builder.getTransitionHeadCount ( )

repeated int64 transition_head = 5;

Returns: The count of transitionHead.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1272 of file AutomatonConstraintProto.java.

◆ getTransitionHeadList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.Builder.getTransitionHeadList ( )

repeated int64 transition_head = 5;

Returns: A list containing the transitionHead.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1264 of file AutomatonConstraintProto.java.

◆ getTransitionLabel()

long com.google.ortools.sat.AutomatonConstraintProto.Builder.getTransitionLabel ( int index )

repeated int64 transition_label = 6;

Parameters

index The index of the element to return.

Returns: The transitionLabel at the given index.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1364 of file AutomatonConstraintProto.java.

◆ getTransitionLabelCount()

int com.google.ortools.sat.AutomatonConstraintProto.Builder.getTransitionLabelCount ( )

repeated int64 transition_label = 6;

Returns: The count of transitionLabel.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1356 of file AutomatonConstraintProto.java.

◆ getTransitionLabelList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.Builder.getTransitionLabelList ( )

repeated int64 transition_label = 6;

Returns: A list containing the transitionLabel.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1348 of file AutomatonConstraintProto.java.

◆ getTransitionTail()

long com.google.ortools.sat.AutomatonConstraintProto.Builder.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.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1172 of file AutomatonConstraintProto.java.

◆ getTransitionTailCount()

int com.google.ortools.sat.AutomatonConstraintProto.Builder.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.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1158 of file AutomatonConstraintProto.java.

◆ getTransitionTailList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProto.Builder.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.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1144 of file AutomatonConstraintProto.java.

◆ getVars()

int com.google.ortools.sat.AutomatonConstraintProto.Builder.getVars ( int index )

Legacy field.

repeated int32 vars = 7;

Parameters

index The index of the element to return.

Returns: The vars at the given index.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1460 of file AutomatonConstraintProto.java.

◆ getVarsCount()

int com.google.ortools.sat.AutomatonConstraintProto.Builder.getVarsCount ( )

Legacy field.

repeated int32 vars = 7;

Returns: The count of vars.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1448 of file AutomatonConstraintProto.java.

◆ getVarsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.AutomatonConstraintProto.Builder.getVarsList ( )

Legacy field.

repeated int32 vars = 7;

Returns: A list containing the vars.

Implements com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.

Definition at line 1436 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable com.google.ortools.sat.AutomatonConstraintProto.Builder.internalGetFieldAccessorTable ( )

protected

Definition at line 651 of file AutomatonConstraintProto.java.

◆ isInitialized()

final boolean com.google.ortools.sat.AutomatonConstraintProto.Builder.isInitialized ( )

Definition at line 857 of file AutomatonConstraintProto.java.

◆ mergeFrom() [1/3]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.mergeFrom ( com.google.ortools.sat.AutomatonConstraintProto other )

Definition at line 765 of file AutomatonConstraintProto.java.

◆ mergeFrom() [2/3]

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

Definition at line 862 of file AutomatonConstraintProto.java.

◆ mergeFrom() [3/3]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.mergeFrom ( com.google.protobuf.Message other )

Definition at line 756 of file AutomatonConstraintProto.java.

◆ removeExprs()

Builder com.google.ortools.sat.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;

Definition at line 1769 of file AutomatonConstraintProto.java.

◆ setExprs() [1/2]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.setExprs	(	int	index,
		com.google.ortools.sat.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;

Definition at line 1601 of file AutomatonConstraintProto.java.

◆ setExprs() [2/2]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.setExprs	(	int	index,
		com.google.ortools.sat.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;

Definition at line 1624 of file AutomatonConstraintProto.java.

◆ setFinalStates()

Builder com.google.ortools.sat.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.

Definition at line 1079 of file AutomatonConstraintProto.java.

◆ setStartingState()

Builder com.google.ortools.sat.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.

Definition at line 1018 of file AutomatonConstraintProto.java.

◆ setTransitionHead()

Builder com.google.ortools.sat.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.

Definition at line 1289 of file AutomatonConstraintProto.java.

◆ setTransitionLabel()

Builder com.google.ortools.sat.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.

Definition at line 1373 of file AutomatonConstraintProto.java.

◆ setTransitionTail()

Builder com.google.ortools.sat.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.

Definition at line 1187 of file AutomatonConstraintProto.java.

◆ setVars()

Builder com.google.ortools.sat.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.

Definition at line 1473 of file AutomatonConstraintProto.java.

The documentation for this class was generated from the following file:

build/java/ortools-java/src/main/java/com/google/ortools/sat/AutomatonConstraintProto.java

Detailed Description

Public Member Functions

Static Public Member Functions

Protected Member Functions

Member Function Documentation

◆ addAllExprs()

◆ addAllFinalStates()

◆ addAllTransitionHead()

◆ addAllTransitionLabel()

◆ addAllTransitionTail()

◆ addAllVars()

◆ addExprs() [1/4]

◆ addExprs() [2/4]

◆ addExprs() [3/4]

◆ addExprs() [4/4]

◆ addExprsBuilder() [1/2]

◆ addExprsBuilder() [2/2]

◆ addFinalStates()

◆ addTransitionHead()

◆ addTransitionLabel()

◆ addTransitionTail()

◆ addVars()

◆ build()

◆ buildPartial()

◆ clear()

◆ clearExprs()

◆ clearFinalStates()

◆ clearStartingState()

◆ clearTransitionHead()

◆ clearTransitionLabel()

◆ clearTransitionTail()

◆ clearVars()

◆ getDefaultInstanceForType()

◆ getDescriptor()

◆ getDescriptorForType()

◆ getExprs()

◆ getExprsBuilder()

◆ getExprsBuilderList()

◆ getExprsCount()

◆ getExprsList()

◆ getExprsOrBuilder()

◆ getExprsOrBuilderList()

◆ getFinalStates()

◆ getFinalStatesCount()

◆ getFinalStatesList()

◆ getStartingState()

◆ getTransitionHead()

◆ getTransitionHeadCount()

◆ getTransitionHeadList()

◆ getTransitionLabel()

◆ getTransitionLabelCount()

◆ getTransitionLabelList()

◆ getTransitionTail()

◆ getTransitionTailCount()

◆ getTransitionTailList()

◆ getVars()

◆ getVarsCount()

◆ getVarsList()

◆ internalGetFieldAccessorTable()

◆ isInitialized()

◆ mergeFrom() [1/3]

◆ mergeFrom() [2/3]

◆ mergeFrom() [3/3]

◆ removeExprs()

◆ setExprs() [1/2]

◆ setExprs() [2/2]

◆ setFinalStates()

◆ setStartingState()

◆ setTransitionHead()

◆ setTransitionLabel()

◆ setTransitionTail()

◆ setVars()