DOTPanel dotPanel
ImageComponent imgComponent
JList<E> listBox
DefaultListModel<E> graphs
Action saveDotAction
Action savePngAction
Action renameAction
Action clearAction
BufferedImage img
boolean scale
Action savePngAction
Object[] contents
int start
int length
net.automatalib.serialization.taf.parser.Token currentToken
int[][] expectedTokenSequences
String[] tokenImage
String eol
Copyright © 2015. All rights reserved.