org.teavm.common

Class GraphIndexer

java.lang.Object

org.teavm.common.GraphIndexer

public class GraphIndexer
extends Object

Author:

Alexey Andreev

Constructor Summary

Constructors

Constructor and Description
GraphIndexer(Graph graph, int[] weights, int[] priorities)

Method Summary

Modifier and Type	Method and Description
Graph	getGraph()
int	indexOf(int node)
int	nodeAt(int index)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphIndexer

public GraphIndexer(Graph graph,
                    int[] weights,
                    int[] priorities)

Method Detail

nodeAt

public int nodeAt(int index)

indexOf

public int indexOf(int node)

size

public int size()

getGraph

public Graph getGraph()