ADTState (LearnLib 0.18.0 API)

java.lang.Object
- net.automatalib.common.util.nid.AbstractMutableNumericID
- - net.automatalib.automaton.base.AbstractFastState<ADTTransition<I,O>>
  - - de.learnlib.algorithm.adt.automaton.ADTState<I,O>

Type Parameters:

I - input alphabet type

O - output alphabet type

All Implemented Interfaces:

AccessSequenceProvider<I>, net.automatalib.common.util.nid.MutableNumericID, net.automatalib.common.util.nid.NumericID
```
public class ADTState<I,O>
extends net.automatalib.automaton.base.AbstractFastState<ADTTransition<I,O>>
implements AccessSequenceProvider<I>
```
Hypothesis state model.

Field Summary
- Fields inherited from class net.automatalib.common.util.nid.AbstractMutableNumericID
  id

Constructor Summary

Constructors
Constructor Description

ADTState(int numInputs)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`clearTransitionObject(ADTTransition<I,O> transition)`
`net.automatalib.word.Word<I>`	`getAccessSequence()`	Retrieves the access sequence of this object.
`Set<ADTTransition<I,O>>`	`getIncomingTransitions()`
`void`	`setAccessSequence(net.automatalib.word.Word<I> accessSequence)`

Methods inherited from class net.automatalib.automaton.base.AbstractFastState
clearTransitionObjects, ensureInputCapacity, getTransitionObject, setTransitionObject, toString

Methods inherited from class net.automatalib.common.util.nid.AbstractMutableNumericID
getId, setId

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - ADTState
```
public ADTState(int numInputs)
```
- Method Detail
  - 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
  - setAccessSequence
```
public void setAccessSequence(net.automatalib.word.Word<I> accessSequence)
```
  - clearTransitionObject
```
public void clearTransitionObject(ADTTransition<I,O> transition)
```
    Overrides:
    
    clearTransitionObject in class net.automatalib.automaton.base.AbstractFastState<ADTTransition<I,O>>
  - getIncomingTransitions
```
public Set<ADTTransition<I,O>> getIncomingTransitions()
```