nl.uu.cs.treewidth.graph
Class VertexData.Convertor

java.lang.Object
  extended by nl.uu.cs.treewidth.graph.VertexData.Convertor
All Implemented Interfaces:
Graph.Convertor<GraphInput.InputData,VertexData>
Enclosing class:
VertexData

public static class VertexData.Convertor
extends java.lang.Object
implements Graph.Convertor<GraphInput.InputData,VertexData>


Constructor Summary
VertexData.Convertor()
           
 
Method Summary
 VertexData convert(Vertex<? extends GraphInput.InputData> old)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

VertexData.Convertor

public VertexData.Convertor()
Method Detail

convert

public VertexData convert(Vertex<? extends GraphInput.InputData> old)
Specified by:
convert in interface Graph.Convertor<GraphInput.InputData,VertexData>