net.automatalib.serialization.dot

Class Edge

java.lang.Object

net.automatalib.serialization.dot.Edge

public class Edge
extends Object

A utility class to aggregate information of an edge of a DOT graph.

Author:

frohme

Field Summary

Fields

Modifier and Type	Field and Description
Map<String,String>	attributes
String	src
String	tgt

Constructor Summary

Constructors

Constructor and Description
Edge(String src, String tgt, Map<String,String> attributes)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

src

public final String src

tgt

public final String tgt

attributes

public final Map<String,String> attributes

Constructor Detail

Edge

public Edge(String src,
            String tgt,
            Map<String,String> attributes)