net.automatalib.util.minimizer

Class BlockAutomaton<S,L>

java.lang.Object

net.automatalib.util.minimizer.BlockAutomaton<S,L>

Type Parameters:

S - state class.

L - transition label class.

public class BlockAutomaton<S,L>
extends Object

A "block automaton", i.e. an automaton-style representation of the minimization result in which each block forms a state.

Author:

Malte Isberner

Method Summary

Methods

Modifier and Type	Method and Description
BlockEdge<S,L>[]	getOutgoingEdgeArray(Block<S,L> block) Retrieves an array of outgoing edges of a block (state).
List<BlockEdge<S,L>>	getOutgoingEdges(Block<S,L> block) Retrieves a list of outgoing edges of a block (state).

Methods inherited from class java.lang.Object

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

Method Detail

getOutgoingEdges

public List<BlockEdge<S,L>> getOutgoingEdges(Block<S,L> block)

Retrieves a list of outgoing edges of a block (state).

Parameters:

block - the block (state).

Returns:

the outgoing edges of the given block (state).

getOutgoingEdgeArray

public BlockEdge<S,L>[] getOutgoingEdgeArray(Block<S,L> block)

Retrieves an array of outgoing edges of a block (state).

See Also:

getOutgoingEdges(Block)