net.automatalib.serialization.dot

Class Node

java.lang.Object

net.automatalib.serialization.dot.Node

public class Node
extends Object

A utility class to aggregate information of a node of a DOT graph.

Author:

frohme

Field Summary

Fields

Modifier and Type	Field and Description
Map<String,String>	attributes
String	id

Constructor Summary

Constructors

Constructor and Description
Node(String id, 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

id

public final String id

attributes

public final Map<String,String> attributes

Constructor Detail

Node

public Node(String id,
            Map<String,String> attributes)