AbstractHypTrans (LearnLib 0.18.0 API)

java.lang.Object
- net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry<T,IntrusiveListEntry<T>>
- - de.learnlib.datastructure.list.AbstractIntrusiveListEntryImpl<AbstractHypTrans<I>>
  - - de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

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

Direct Known Subclasses:

HypIntTrans, HypRetTrans
```
public abstract class AbstractHypTrans<I>
extends AbstractIntrusiveListEntryImpl<AbstractHypTrans<I>>
implements AccessSequenceProvider<I>
```
Abstract hypothesis transition.

Constructor Summary

Constructors
Constructor Description

AbstractHypTrans(net.automatalib.word.Word<I> aseq)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`net.automatalib.word.Word<I>`	`getAccessSequence()`	Retrieves the access sequence of this object.
`AbstractHypTrans<I>`	`getElement()`
`DTNode<I>`	`getNonTreeTarget()`
`HypLoc<I>`	`getTargetLocation()`
`DTNode<I>`	`getTargetNode()`
`HypLoc<I>`	`getTreeTarget()`
`boolean`	`isTree()`
`void`	`makeTree(HypLoc<I> tgtLoc)`
`void`	`setNonTreeTarget(DTNode<I> nonTreeTarget)`

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 net.automatalib.common.smartcollection.LinkedListEntry
getNext, getPrev, setNext, setPrev

- Constructor Detail
  - AbstractHypTrans
```
public AbstractHypTrans(net.automatalib.word.Word<I> aseq)
```
- Method Detail
  - getTreeTarget
```
public HypLoc<I> getTreeTarget()
```
  - isTree
```
public boolean isTree()
```
  - getTargetLocation
```
public HypLoc<I> getTargetLocation()
```
  - getNonTreeTarget
```
public DTNode<I> getNonTreeTarget()
```
  - setNonTreeTarget
```
public void setNonTreeTarget(DTNode<I> nonTreeTarget)
```
  - getTargetNode
```
public DTNode<I> getTargetNode()
```
  - getAccessSequence
```
public net.automatalib.word.Word<I> getAccessSequence()
```
    Description copied from interface: AccessSequenceProvider
    
    Retrieves the access sequence of this object.
    
    Specified by:
    
    getAccessSequence in interface AccessSequenceProvider<I>
    
    Returns:
    
    the access sequence
  - makeTree
```
public void makeTree(HypLoc<I> tgtLoc)
```
  - getElement
```
public AbstractHypTrans<I> getElement()
```
    Specified by:
    
    getElement in interface net.automatalib.common.smartcollection.LinkedListEntry<AbstractHypTrans<I>,IntrusiveListEntry<AbstractHypTrans<I>>>