AbstractHypTrans (LearnLib 0.17.0 API)

java.lang.Object
- de.learnlib.datastructure.list.IntrusiveListElemImpl<AbstractHypTrans<I>>
- - de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceProvider<I>, IntrusiveListElem<AbstractHypTrans<I>>

Direct Known Subclasses:

HypIntTrans, HypRetTrans
```
public abstract class AbstractHypTrans<I>
extends IntrusiveListElemImpl<AbstractHypTrans<I>>
implements AccessSequenceProvider<I>
```

Field Summary

Fields
Modifier and Type Field Description

protected IntrusiveListElemImpl<AbstractHypTrans<I>> prev
- Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
  next

Constructor Summary

Constructors
Constructor Description

AbstractHypTrans(Word<I> aseq)

Method Summary

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

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

Field Detail

prev

protected IntrusiveListElemImpl<AbstractHypTrans<I>> prev

Constructor Detail

AbstractHypTrans

public AbstractHypTrans(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 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)

removeFromList
```
public void removeFromList()
```