Module de.learnlib.algorithm.observationpack.vpa

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

Class TransList<I>

java.lang.Object

net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry<T,IntrusiveListEntry<T>>

de.learnlib.datastructure.list.AbstractIntrusiveListEntryImpl<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:

IntrusiveListEntry<AbstractHypTrans<I>>, Iterable<AbstractHypTrans<I>>, net.automatalib.common.smartcollection.ElementReference, net.automatalib.common.smartcollection.LinkedListEntry<AbstractHypTrans<I>,IntrusiveListEntry<AbstractHypTrans<I>>>

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

A list of transitions.

Constructor Summary

Constructors

Constructor	Description
TransList()

Method Summary

Modifier and Type	Method	Description
AbstractHypTrans<I>	chooseMinimal()

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

add, choose, concat, getElement, isEmpty, iterator, poll, size

Methods inherited from class net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry

getNext, getPrev, setNext, setPrev

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.datastructure.list.IntrusiveListEntry

removeFromList

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.common.smartcollection.LinkedListEntry

getNext, getPrev, setNext, setPrev

Constructor Detail

TransList

public TransList()

Method Detail

chooseMinimal

public AbstractHypTrans<I> chooseMinimal()