Java Reference

Java Reference

AutomatonConstraintProtoOrBuilder

Detailed Description

Definition at line 6 of file AutomatonConstraintProtoOrBuilder.java.

Public Member Functions

long getStartingState ()
 
java.util.List< java.lang.Long > getFinalStatesList ()
 repeated int64 final_states = 3; More...
 
int getFinalStatesCount ()
 repeated int64 final_states = 3; More...
 
long getFinalStates (int index)
 repeated int64 final_states = 3; More...
 
java.util.List< java.lang.Long > getTransitionTailList ()
 
int getTransitionTailCount ()
 
long getTransitionTail (int index)
 
java.util.List< java.lang.Long > getTransitionHeadList ()
 repeated int64 transition_head = 5; More...
 
int getTransitionHeadCount ()
 repeated int64 transition_head = 5; More...
 
long getTransitionHead (int index)
 repeated int64 transition_head = 5; More...
 
java.util.List< java.lang.Long > getTransitionLabelList ()
 repeated int64 transition_label = 6; More...
 
int getTransitionLabelCount ()
 repeated int64 transition_label = 6; More...
 
long getTransitionLabel (int index)
 repeated int64 transition_label = 6; More...
 
java.util.List< java.lang.Integer > getVarsList ()
 
int getVarsCount ()
 
int getVars (int index)
 

Member Function Documentation

◆ getFinalStates()

long getFinalStates ( int  index)

repeated int64 final_states = 3;

Parameters
indexThe index of the element to return.
Returns
The finalStates at the given index.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getFinalStatesCount()

int getFinalStatesCount ( )

repeated int64 final_states = 3;

Returns
The count of finalStates.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getFinalStatesList()

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

repeated int64 final_states = 3;

Returns
A list containing the finalStates.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getStartingState()

long getStartingState ( )
A state is identified by a non-negative number. It is preferable to keep
all the states dense in says [0, num_states). The automaton starts at
starting_state and must finish in any of the final states.

int64 starting_state = 2;

Returns
The startingState.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionHead()

long getTransitionHead ( int  index)

repeated int64 transition_head = 5;

Parameters
indexThe index of the element to return.
Returns
The transitionHead at the given index.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionHeadCount()

int getTransitionHeadCount ( )

repeated int64 transition_head = 5;

Returns
The count of transitionHead.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionHeadList()

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

repeated int64 transition_head = 5;

Returns
A list containing the transitionHead.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionLabel()

long getTransitionLabel ( int  index)

repeated int64 transition_label = 6;

Parameters
indexThe index of the element to return.
Returns
The transitionLabel at the given index.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionLabelCount()

int getTransitionLabelCount ( )

repeated int64 transition_label = 6;

Returns
The count of transitionLabel.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionLabelList()

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

repeated int64 transition_label = 6;

Returns
A list containing the transitionLabel.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionTail()

long getTransitionTail ( int  index)
List of transitions (all 3 vectors have the same size). Both tail and head
are states, label is any variable value. No two outgoing transitions from
the same state can have the same label.

repeated int64 transition_tail = 4;

Parameters
indexThe index of the element to return.
Returns
The transitionTail at the given index.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionTailCount()

int getTransitionTailCount ( )
List of transitions (all 3 vectors have the same size). Both tail and head
are states, label is any variable value. No two outgoing transitions from
the same state can have the same label.

repeated int64 transition_tail = 4;

Returns
The count of transitionTail.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getTransitionTailList()

java.util.List<java.lang.Long> getTransitionTailList ( )
List of transitions (all 3 vectors have the same size). Both tail and head
are states, label is any variable value. No two outgoing transitions from
the same state can have the same label.

repeated int64 transition_tail = 4;

Returns
A list containing the transitionTail.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getVars()

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

repeated int32 vars = 7;

Parameters
indexThe index of the element to return.
Returns
The vars at the given index.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getVarsCount()

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

repeated int32 vars = 7;

Returns
The count of vars.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.

◆ getVarsList()

java.util.List<java.lang.Integer> getVarsList ( )
The sequence of variables. The automaton is ran for vars_size() "steps" and
the value of vars[i] corresponds to the transition label at step i.

repeated int32 vars = 7;

Returns
A list containing the vars.

Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.


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