Module net.automatalib.util

Package net.automatalib.util.partitionrefinement

Class ValmariInitializers

java.lang.Object

net.automatalib.util.partitionrefinement.ValmariInitializers

public final class ValmariInitializers
extends Object

Utility methods for initializing Valmari objects from various automaton types.

Method Summary

Modifier and Type	Method	Description
static <S, I, A extends NFA<S, I> & InputAlphabetHolder<I>> Valmari	initializeNFA(A nfa)	Initializes the partition refinement data structure using the structural information from the given NFA and its state acceptance as classifier for the initial partition.
static <S, I> Valmari	initializeNFA(NFA<S,I> nfa, Alphabet<I> alphabet)	Initializes the partition refinement data structure using the structural information from the given NFA and its state acceptance as classifier for the initial partition.
static <S, I, T> Valmari	initializeUniversal(UniversalAutomaton.RegularAutomaton<S,I,T,?,?> automaton, Alphabet<I> alphabet, Function<? super S,?> initialClassifier)	Initializes the partition refinement data structure using the structural information from the given automaton and the given classifier for the initial partition.

Methods inherited from class java.lang.Object

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

Method Details

initializeNFA

public static <S,
I,
A extends NFA<S,
I> & InputAlphabetHolder<I>>
Valmari initializeNFA(A nfa)

Initializes the partition refinement data structure using the structural information from the given NFA and its state acceptance as classifier for the initial partition.

Type Parameters:

S - state type

I - input symbol type

A - automaton type

Parameters:

nfa - the automaton from which to extract the relational information

Returns:

the initialized partition refinement data structure

initializeNFA

public static <S,
I> Valmari initializeNFA(NFA<S,I> nfa,
 Alphabet<I> alphabet)

Initializes the partition refinement data structure using the structural information from the given NFA and its state acceptance as classifier for the initial partition.

Type Parameters:

S - state type

I - input symbol type

Parameters:

nfa - the automaton from which to extract the relational information

alphabet - the input symbols to consider

Returns:

the initialized partition refinement data structure

initializeUniversal

public static <S,
I,
T> Valmari initializeUniversal(UniversalAutomaton.RegularAutomaton<S,I,T,?,?> automaton,
 Alphabet<I> alphabet,
 Function<? super S,?> initialClassifier)

Initializes the partition refinement data structure using the structural information from the given automaton and the given classifier for the initial partition.

Type Parameters:

S - state type

I - input symbol type

T - transition type

Parameters:

automaton - the automaton from which to extract the relational information

alphabet - the input symbols to consider

initialClassifier - an extractor that for each automaton state gives a signature that identifies the initial partition block

Returns:

the initialized partition refinement data structure