Package 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.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	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)