Package | Description |
---|---|
de.learnlib.algorithms.adt.api | |
de.learnlib.algorithms.adt.automaton | |
de.learnlib.algorithms.adt.config.model.extender | |
de.learnlib.algorithms.adt.learner |
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.
|
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.
|
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() |
Modifier and Type | Method and Description |
---|---|
ADTNode<ADTState<I,O>,I,O> |
ADTTransition.getSiftNode() |
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) |
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) |
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) |
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) |
Modifier and Type | Method and Description |
---|---|
ADTLearnerState<ADTState<I,O>,I,O> |
ADTLearner.suspend() |
Modifier and Type | Method and Description |
---|---|
void |
ADTLearner.closeTransition(ADTState<I,O> state,
I input) |
boolean |
ADTLearner.isTransitionDefined(ADTState<I,O> state,
I input) |
Modifier and Type | Method and Description |
---|---|
void |
ADTLearner.resume(ADTLearnerState<ADTState<I,O>,I,O> state) |
Copyright © 2018. All rights reserved.