Module net.automatalib.serialization.dot

Package net.automatalib.serialization.dot

Class DOTInputModelData<S,I,M extends SimpleTS<S,I>>

java.lang.Object

net.automatalib.serialization.InputModelData<I,M>

net.automatalib.serialization.dot.DOTInputModelData<S,I,M>

Type Parameters:

S - the state type of the model

I - the input symbol type

M - the model type

public class DOTInputModelData<S,I,M extends SimpleTS<S,I>>
extends InputModelData<I,M>

A utility data class, that extends InputModelData by labeling information of the model's states.

Field Summary

Fields

Modifier and Type	Field	Description
Mapping<S,String>	stateLabels

Fields inherited from class net.automatalib.serialization.InputModelData

alphabet, model

Constructor Summary

Constructors

Constructor	Description
DOTInputModelData(M model, Alphabet<I> alphabet, Mapping<S,String> stateLabels)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

stateLabels

public final Mapping<S,String> stateLabels

Constructor Detail

DOTInputModelData

public DOTInputModelData(M model,
                         Alphabet<I> alphabet,
                         Mapping<S,String> stateLabels)