Package net.automatalib.util.automaton.procedural

Class ATRSequences<I>

java.lang.Object

net.automatalib.util.automaton.procedural.ATRSequences<I>

Type Parameters:

I - input symbol type

public final class ATRSequences<I>
extends Object

A data class for aggregating access sequences, terminating sequences, and return sequences.

An access sequence of a procedure is an input word that guarantees to transition a procedural system from its initial state to the initial state of the respective procedure.

A terminating sequence of a procedure is an input word that guarantees to transition the respective procedure from its initial state to an accepting state. The terminating sequence may contain nested invocations to other procedures.

A terminating sequence of a procedure is an input word that guarantees to transition the procedural system from an accepting state of the respective procedure to an accepting state of the procedural system, given that the procedure has been reached by the corresponding access sequence.

Field Summary

Fields

Modifier and Type	Field	Description
Map<I,Word<I>>	accessSequences
Map<I,Word<I>>	returnSequences
Map<I,Word<I>>	terminatingSequences

Constructor Summary

Constructors

Constructor	Description
ATRSequences(Map<I,Word<I>> accessSequences, Map<I,Word<I>> terminatingSequences, Map<I,Word<I>> returnSequences)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

accessSequences

public final Map<I,Word<I>> accessSequences

terminatingSequences

public final Map<I,Word<I>> terminatingSequences

returnSequences

public final Map<I,Word<I>> returnSequences

Constructor Detail

ATRSequences

public ATRSequences(Map<I,Word<I>> accessSequences,
                    Map<I,Word<I>> terminatingSequences,
                    Map<I,Word<I>> returnSequences)