Package de.learnlib.algorithm.observationpack.vpa.hypothesis

Class TransList<I>

java.lang.Object

de.learnlib.datastructure.list.IntrusiveListElemImpl<T>

de.learnlib.datastructure.list.IntrusiveList<AbstractHypTrans<I>>

de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

IntrusiveListElem<AbstractHypTrans<I>>, Iterable<AbstractHypTrans<I>>

public class TransList<I>
extends IntrusiveList<AbstractHypTrans<I>>

Field Summary

Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl

next

Constructor Summary

Constructors

Constructor	Description
TransList()

Method Summary

Modifier and Type	Method	Description
void	add(AbstractHypTrans<I> trans)
void	addAll(TransList<I> list)
AbstractHypTrans<I>	chooseMinimal()
@Nullable AbstractHypTrans<I>	poll()

Methods inherited from class de.learnlib.datastructure.list.IntrusiveList

choose, isEmpty, iterator, size

Methods inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl

getNextElement, setNextElement

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

TransList

public TransList()

Method Detail

add

public void add(AbstractHypTrans<I> trans)

addAll

public void addAll(TransList<I> list)

chooseMinimal

public AbstractHypTrans<I> chooseMinimal()

poll

public @Nullable AbstractHypTrans<I> poll()