Uses of Class
de.learnlib.algorithms.adt.automaton.ADTState

Packages that use ADTState

Package	Description
de.learnlib.algorithms.adt.api
de.learnlib.algorithms.adt.automaton
de.learnlib.algorithms.adt.config.model.extender
de.learnlib.algorithms.adt.learner

Uses of ADTState in de.learnlib.algorithms.adt.api

Methods in de.learnlib.algorithms.adt.api that return types with arguments of type ADTState

Modifier and Type	Method and Description
<I,O> ExtensionResult<ADTState<I,O>,I,O>	ADTExtender.computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> pta, ADTNode<ADTState<I,O>,I,O> temporarySplitter) Compute the ADT whose root node should replace the root of the temporary splitter in the current ADT.

Method parameters in de.learnlib.algorithms.adt.api with type arguments of type ADTState

Modifier and Type	Method and Description
<I,O> ExtensionResult<ADTState<I,O>,I,O>	ADTExtender.computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> pta, ADTNode<ADTState<I,O>,I,O> temporarySplitter) Compute the ADT whose root node should replace the root of the temporary splitter in the current ADT.
<I,O> ExtensionResult<ADTState<I,O>,I,O>	ADTExtender.computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> pta, ADTNode<ADTState<I,O>,I,O> temporarySplitter) Compute the ADT whose root node should replace the root of the temporary splitter in the current ADT.

Uses of ADTState in de.learnlib.algorithms.adt.automaton

Methods in de.learnlib.algorithms.adt.automaton that return ADTState

Modifier and Type	Method and Description
protected ADTState<I,O>	ADTHypothesis.createState(Void property)
ADTState<I,O>	ADTTransition.getSource()
ADTState<I,O>	ADTHypothesis.getSuccessor(ADTTransition<I,O> transition)
ADTState<I,O>	ADTTransition.getTarget()

Methods in de.learnlib.algorithms.adt.automaton that return types with arguments of type ADTState

Modifier and Type	Method and Description
ADTNode<ADTState<I,O>,I,O>	ADTTransition.getSiftNode()

Methods in de.learnlib.algorithms.adt.automaton with parameters of type ADTState

Modifier and Type	Method and Description
ADTTransition<I,O>	ADTHypothesis.createOpenTransition(ADTState<I,O> source, I input, ADTNode<ADTState<I,O>,I,O> siftTarget)
ADTTransition<I,O>	ADTHypothesis.createTransition(ADTState<I,O> successor, O properties)
void	ADTTransition.setSource(ADTState<I,O> source)
void	ADTTransition.setTarget(ADTState<I,O> target)
void	ADTHypothesis.setTransition(ADTState<I,O> state, I input, ADTTransition<I,O> transition)

Method parameters in de.learnlib.algorithms.adt.automaton with type arguments of type ADTState

Modifier and Type	Method and Description
ADTTransition<I,O>	ADTHypothesis.createOpenTransition(ADTState<I,O> source, I input, ADTNode<ADTState<I,O>,I,O> siftTarget)
void	ADTTransition.setSiftNode(ADTNode<ADTState<I,O>,I,O> siftNode)

Uses of ADTState in de.learnlib.algorithms.adt.config.model.extender

Methods in de.learnlib.algorithms.adt.config.model.extender that return types with arguments of type ADTState

Modifier and Type	Method and Description
<I,O> ExtensionResult<ADTState<I,O>,I,O>	DefaultExtender.computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> partialTransitionAnalyzer, ADTNode<ADTState<I,O>,I,O> ads)

Method parameters in de.learnlib.algorithms.adt.config.model.extender with type arguments of type ADTState

Modifier and Type	Method and Description
<I,O> ExtensionResult<ADTState<I,O>,I,O>	DefaultExtender.computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> partialTransitionAnalyzer, ADTNode<ADTState<I,O>,I,O> ads)
<I,O> ExtensionResult<ADTState<I,O>,I,O>	DefaultExtender.computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> partialTransitionAnalyzer, ADTNode<ADTState<I,O>,I,O> ads)

Uses of ADTState in de.learnlib.algorithms.adt.learner

Methods in de.learnlib.algorithms.adt.learner that return types with arguments of type ADTState

Modifier and Type	Method and Description
ADTLearnerState<ADTState<I,O>,I,O>	ADTLearner.suspend()

Methods in de.learnlib.algorithms.adt.learner with parameters of type ADTState

Modifier and Type	Method and Description
void	ADTLearner.closeTransition(ADTState<I,O> state, I input)
boolean	ADTLearner.isTransitionDefined(ADTState<I,O> state, I input)

Method parameters in de.learnlib.algorithms.adt.learner with type arguments of type ADTState

Modifier and Type	Method and Description
void	ADTLearner.resume(ADTLearnerState<ADTState<I,O>,I,O> state)