de.ls5.jlearn.shared
Class Snapshot

java.lang.Object
  de.ls5.jlearn.shared.Snapshot

All Implemented Interfaces:

Serializable

public class Snapshot
extends Object
implements Serializable

Author:

merten

See Also:

Serialized Form

Field Summary

boolean	isFinal
static long	serialVersionUID

Method Summary

Automaton	getAutomaton()
String	getDescription()
StringBuffer	getDot()
StringBuffer	getDot(int realsigma)
List<State>	getHightlights()
static Snapshot	getSnapshot(Automaton a)
static Snapshot	getSnapshot(Automaton a, List<State> highlights, String description)
static Snapshot	getSnapshot(Automaton a, State highlight, String description)
static Snapshot	getSnapshot(Automaton a, String description)

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

public static final long serialVersionUID

See Also:

Constant Field Values

isFinal

public boolean isFinal

Method Detail

getAutomaton

public Automaton getAutomaton()

getDescription

public String getDescription()

getHightlights

public List<State> getHightlights()

getDot

public StringBuffer getDot()

getDot

public StringBuffer getDot(int realsigma)

getSnapshot

public static Snapshot getSnapshot(Automaton a,
                                   State highlight,
                                   String description)

getSnapshot

public static Snapshot getSnapshot(Automaton a)

getSnapshot

public static Snapshot getSnapshot(Automaton a,
                                   String description)

getSnapshot

public static Snapshot getSnapshot(Automaton a,
                                   List<State> highlights,
                                   String description)