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 ()

Detailed Description

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

Protobuf type operations_research.sat.AutomatonConstraintProto

Definition at line 639 of file AutomatonConstraintProto.java.

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 1728 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 1105 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 1315 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 1399 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 1225 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 1507 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 1643 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 1688 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 1665 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 1708 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 1833 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 1846 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 1092 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 1302 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 1386 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 1206 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 1490 of file AutomatonConstraintProto.java.

◆ build()

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

Definition at line 698 of file AutomatonConstraintProto.java.

◆ buildPartial()

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

Definition at line 707 of file AutomatonConstraintProto.java.

◆ clear()

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

Definition at line 667 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 1749 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 1118 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 1034 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 1328 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 1412 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 1244 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 1524 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 693 of file AutomatonConstraintProto.java.

◆ getDescriptor()

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

static

Definition at line 644 of file AutomatonConstraintProto.java.

◆ getDescriptorForType()

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

Definition at line 688 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 1584 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 1787 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 1861 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 1568 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 1552 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 1800 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 1817 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 1069 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 1061 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 1053 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 1003 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 1279 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 1271 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 1263 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 1363 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 1355 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 1347 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 1171 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 1157 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 1143 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 1459 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 1447 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 1435 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

protected

Definition at line 650 of file AutomatonConstraintProto.java.

◆ isInitialized()

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

Definition at line 856 of file AutomatonConstraintProto.java.

◆ mergeFrom() [1/3]

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

Definition at line 764 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 861 of file AutomatonConstraintProto.java.

◆ mergeFrom() [3/3]

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

Definition at line 755 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 1768 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 1600 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 1623 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 1078 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 1017 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 1288 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 1372 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 1186 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 1472 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

Public Member Functions

Static Public Member Functions

Protected Member Functions

Detailed Description

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()