Uses of Class
de.learnlib.algorithm.adt.automaton.ADTState
-
Packages that use ADTState Package Description de.learnlib.algorithm.adt.api de.learnlib.algorithm.adt.automaton de.learnlib.algorithm.adt.config.model.extender de.learnlib.algorithm.adt.learner -
-
Uses of ADTState in de.learnlib.algorithm.adt.api
Methods in de.learnlib.algorithm.adt.api that return types with arguments of type ADTState Modifier and Type Method 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.algorithm.adt.api with type arguments of type ADTState Modifier and Type Method 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.algorithm.adt.automaton
Methods in de.learnlib.algorithm.adt.automaton that return ADTState Modifier and Type Method 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.algorithm.adt.automaton that return types with arguments of type ADTState Modifier and Type Method Description ADTNode<ADTState<I,O>,I,O>
ADTTransition. getSiftNode()
Methods in de.learnlib.algorithm.adt.automaton with parameters of type ADTState Modifier and Type Method 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.algorithm.adt.automaton with type arguments of type ADTState Modifier and Type Method 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.algorithm.adt.config.model.extender
Methods in de.learnlib.algorithm.adt.config.model.extender that return types with arguments of type ADTState Modifier and Type Method 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.algorithm.adt.config.model.extender with type arguments of type ADTState Modifier and Type Method 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.algorithm.adt.learner
Methods in de.learnlib.algorithm.adt.learner that return types with arguments of type ADTState Modifier and Type Method Description ADT<ADTState<I,O>,I,O>
ADTLearner. getADT()
ADTLearnerState<ADTState<I,O>,I,O>
ADTLearner. suspend()
Methods in de.learnlib.algorithm.adt.learner with parameters of type ADTState Modifier and Type Method Description void
ADTLearner. closeTransition(ADTState<I,O> state, I input)
boolean
ADTLearner. isTransitionDefined(ADTState<I,O> state, I input)
Method parameters in de.learnlib.algorithm.adt.learner with type arguments of type ADTState Modifier and Type Method Description void
ADTLearner. resume(ADTLearnerState<ADTState<I,O>,I,O> state)
-