Package net.automatalib.incremental.dfa

Class AbstractVisualizationHelper<S,I,T,A extends Automaton<S,I,T>>

java.lang.Object

net.automatalib.visualization.DefaultVisualizationHelper<S,TransitionEdge<I,T>>

net.automatalib.automaton.visualization.AutomatonVisualizationHelper<S,I,T,A>

net.automatalib.incremental.dfa.AbstractVisualizationHelper<S,I,T,A>

Type Parameters:

S - state type

I - input symbol type

T - transition type

A - automaton tyep

All Implemented Interfaces:

VisualizationHelper<S,TransitionEdge<I,T>>

public abstract class AbstractVisualizationHelper<S,I,T,A extends Automaton<S,I,T>>
extends AutomatonVisualizationHelper<S,I,T,A>

Abstract visualization helper for IncrementalDFABuilders.

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.visualization.VisualizationHelper

VisualizationHelper.CommonAttrs, VisualizationHelper.CommonStyles, VisualizationHelper.EdgeAttrs, VisualizationHelper.EdgeStyles, VisualizationHelper.MTSEdgeAttrs, VisualizationHelper.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles

Field Summary

Fields inherited from class net.automatalib.automaton.visualization.AutomatonVisualizationHelper

automaton

Constructor Summary

Constructors

Constructor	Description
AbstractVisualizationHelper(A automaton)

Method Summary

Modifier and Type	Method	Description
protected abstract Acceptance	getAcceptance(S s)
boolean	getNodeProperties(S node, Map<String,String> properties)

Methods inherited from class net.automatalib.automaton.visualization.AutomatonVisualizationHelper

getEdgeProperties, initialNodes

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.visualization.VisualizationHelper

getGlobalEdgeProperties, getGlobalNodeProperties

Constructor Detail

AbstractVisualizationHelper

public AbstractVisualizationHelper(A automaton)

Method Detail

getNodeProperties

public boolean getNodeProperties(S node,
                                 Map<String,String> properties)

Specified by:

getNodeProperties in interface VisualizationHelper<S,I>

Overrides:

getNodeProperties in class DefaultVisualizationHelper<S,TransitionEdge<I,T>>

getAcceptance

protected abstract Acceptance getAcceptance(S s)