com.google.ortools.sat.AutomatonConstraintProtoOrBuilder Interface Reference

Inheritance diagram for com.google.ortools.sat.AutomatonConstraintProtoOrBuilder:

Public Member Functions
long	getStartingState ()
java.util.List< java.lang.Long >	getFinalStatesList ()
int	getFinalStatesCount ()
long	getFinalStates (int index)
java.util.List< java.lang.Long >	getTransitionTailList ()
int	getTransitionTailCount ()
long	getTransitionTail (int index)
java.util.List< java.lang.Long >	getTransitionHeadList ()
int	getTransitionHeadCount ()
long	getTransitionHead (int index)
java.util.List< java.lang.Long >	getTransitionLabelList ()
int	getTransitionLabelCount ()
long	getTransitionLabel (int index)
java.util.List< java.lang.Integer >	getVarsList ()
int	getVarsCount ()
int	getVars (int index)

Detailed Description

Definition at line 7 of file AutomatonConstraintProtoOrBuilder.java.

Member Function Documentation

getFinalStates()

long com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getFinalStates

(

int

index

)

repeated int64 final_states = 3;

Parameters

index

The index of the element to return.

Returns

The finalStates at the given index.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getFinalStatesCount()

int com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getFinalStatesCount

(

)

repeated int64 final_states = 3;

Returns

The count of finalStates.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getFinalStatesList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getFinalStatesList

(

)

repeated int64 final_states = 3;

Returns

A list containing the finalStates.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getStartingState()

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

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionHead()

long com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getTransitionHead

(

int

index

)

repeated int64 transition_head = 5;

Parameters

index

The index of the element to return.

Returns

The transitionHead at the given index.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionHeadCount()

int com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getTransitionHeadCount

(

)

repeated int64 transition_head = 5;

Returns

The count of transitionHead.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionHeadList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getTransitionHeadList

(

)

repeated int64 transition_head = 5;

Returns

A list containing the transitionHead.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionLabel()

long com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getTransitionLabel

(

int

index

)

repeated int64 transition_label = 6;

Parameters

index

The index of the element to return.

Returns

The transitionLabel at the given index.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionLabelCount()

int com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getTransitionLabelCount

(

)

repeated int64 transition_label = 6;

Returns

The count of transitionLabel.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionLabelList()

java.util.List< java.lang.Long > com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getTransitionLabelList

(

)

repeated int64 transition_label = 6;

Returns

A list containing the transitionLabel.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionTail()

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

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionTailCount()

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

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getTransitionTailList()

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

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getVars()

int com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getVars

(

int

index

)

The sequence of variables. The automaton is ran for vars_size() "steps" and
the value of vars[i] corresponds to the transition label at step i.

repeated int32 vars = 7;

Parameters

index

The index of the element to return.

Returns

The vars at the given index.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getVarsCount()

int com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getVarsCount

(

)

The sequence of variables. The automaton is ran for vars_size() "steps" and
the value of vars[i] corresponds to the transition label at step i.

repeated int32 vars = 7;

Returns

The count of vars.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

getVarsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.AutomatonConstraintProtoOrBuilder.getVarsList

(

)

The sequence of variables. The automaton is ran for vars_size() "steps" and
the value of vars[i] corresponds to the transition label at step i.

repeated int32 vars = 7;

Returns

A list containing the vars.

Implemented in com.google.ortools.sat.AutomatonConstraintProto.Builder, and com.google.ortools.sat.AutomatonConstraintProto.

---

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

• build/java/ortools-java/src/main/java/com/google/ortools/sat/AutomatonConstraintProtoOrBuilder.java