Detailed Description

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

Protobuf type operations_research.sat.AutomatonConstraintProto

Definition at line 635 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 expressions. 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 1714 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 1101 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 1311 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 1395 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 1221 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 1503 of file AutomatonConstraintProto.java.

◆ addExprs() [1/4]

Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addExprs ( com.google.ortools.sat.LinearExpressionProto value )

The sequence of expressions. 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 1633 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 expressions. 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 1676 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 expressions. 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 1654 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 expressions. 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 1695 of file AutomatonConstraintProto.java.

◆ addExprsBuilder() [1/2]

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.addExprsBuilder ( )

The sequence of expressions. 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 1813 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 expressions. 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 1825 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 1088 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 1298 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 1382 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 1202 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 1486 of file AutomatonConstraintProto.java.

◆ build()

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

Definition at line 694 of file AutomatonConstraintProto.java.

◆ buildPartial()

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

Definition at line 703 of file AutomatonConstraintProto.java.

◆ clear()

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

Definition at line 663 of file AutomatonConstraintProto.java.

◆ clearExprs()

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

The sequence of expressions. 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 1734 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 1114 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 1030 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 1324 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 1408 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 1240 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 1520 of file AutomatonConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 689 of file AutomatonConstraintProto.java.

◆ getDescriptor()

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

static

Definition at line 640 of file AutomatonConstraintProto.java.

◆ getDescriptorForType()

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

Definition at line 684 of file AutomatonConstraintProto.java.

◆ getExprs()

com.google.ortools.sat.LinearExpressionProto com.google.ortools.sat.AutomatonConstraintProto.Builder.getExprs ( int index )

The sequence of expressions. 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 1577 of file AutomatonConstraintProto.java.

◆ getExprsBuilder()

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.AutomatonConstraintProto.Builder.getExprsBuilder ( int index )

The sequence of expressions. 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 1770 of file AutomatonConstraintProto.java.

◆ getExprsBuilderList()

java.util.List< com.google.ortools.sat.LinearExpressionProto.Builder > com.google.ortools.sat.AutomatonConstraintProto.Builder.getExprsBuilderList ( )

The sequence of expressions. 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 1839 of file AutomatonConstraintProto.java.

◆ getExprsCount()

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

The sequence of expressions. 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 1562 of file AutomatonConstraintProto.java.

◆ getExprsList()

java.util.List< com.google.ortools.sat.LinearExpressionProto > com.google.ortools.sat.AutomatonConstraintProto.Builder.getExprsList ( )

The sequence of expressions. 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 1547 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilder()

com.google.ortools.sat.LinearExpressionProtoOrBuilder com.google.ortools.sat.AutomatonConstraintProto.Builder.getExprsOrBuilder ( int index )

The sequence of expressions. 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 1782 of file AutomatonConstraintProto.java.

◆ getExprsOrBuilderList()

java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > com.google.ortools.sat.AutomatonConstraintProto.Builder.getExprsOrBuilderList ( )

The sequence of expressions. 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 1798 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 1065 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 1057 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 1049 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 999 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 1275 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 1267 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 1259 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 1359 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 1351 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 1343 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 1167 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 1153 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 1139 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 1455 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 1443 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 1431 of file AutomatonConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

protected

Definition at line 646 of file AutomatonConstraintProto.java.

◆ isInitialized()

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

Definition at line 852 of file AutomatonConstraintProto.java.

◆ mergeFrom() [1/3]

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

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

◆ mergeFrom() [3/3]

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

Definition at line 751 of file AutomatonConstraintProto.java.

◆ removeExprs()

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

The sequence of expressions. 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 1752 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 expressions. 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 1592 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 expressions. 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 1614 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 1074 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 1013 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 1284 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 1368 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 1182 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 1468 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()