Package net.automatalib.util.automaton.procedural

Class ATSequences<I>

java.lang.Object

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

Type Parameters:

I - input symbol type

public final class ATSequences<I>
extends Object

A data class for aggregating access sequences and terminating sequences.

An access sequence of a procedure is an input word that guarantees to transition the 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 a returnable state. The terminating sequence may contain nested invocations to other procedures.

Field Summary

Fields

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

Constructor Summary

Constructors

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

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

Constructor Detail

ATSequences

public ATSequences(Map<I,Word<I>> accessSequences,
                   Map<I,Word<I>> terminatingSequences)