Package de.learnlib.algorithm.lsharp.ads

Class ArenaTree<T,P>

java.lang.Object

de.learnlib.algorithm.lsharp.ads.ArenaTree<T,P>

public class ArenaTree<T,P>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
List<ArenaNode<T,P>>	arena

Constructor Summary

Constructors

Constructor	Description
ArenaTree()

Method Summary

Modifier and Type	Method	Description
T	get(int index)
int	node(T value)
int	nodeWithParent(T value, int pIndex, P input)
int	size()

Methods inherited from class java.lang.Object

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

Field Detail

arena

public final List<ArenaNode<T,P>> arena

Constructor Detail

ArenaTree

public ArenaTree()

Method Detail

size

public int size()

node

public int node(T value)

nodeWithParent

public int nodeWithParent(T value,
                          int pIndex,
                          P input)

get

public T get(int index)