Uses of Class
de.learnlib.algorithm.procedural.SymbolWrapper

Packages that use SymbolWrapper

Package	Description
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.sba.manager
de.learnlib.algorithm.procedural.spmm
de.learnlib.algorithm.procedural.spmm.manager

Uses of SymbolWrapper in de.learnlib.algorithm.procedural.sba

Classes in de.learnlib.algorithm.procedural.sba with type parameters of type SymbolWrapper

Modifier and Type	Class	Description
class	SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SBAs.
class	SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SBAs.
class	SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SBAs.

Method parameters in de.learnlib.algorithm.procedural.sba with type arguments of type SymbolWrapper

Modifier and Type	Method	Description
Set<I>	ATManager.scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)	Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.
Set<I>	ATManager.scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)	Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.

Constructor parameters in de.learnlib.algorithm.procedural.sba with type arguments of type SymbolWrapper

Constructor	Description
SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LearnerConstructor<L,SymbolWrapper<I>,Boolean> learnerConstructor)
SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATManager<I> atManager)

Uses of SymbolWrapper in de.learnlib.algorithm.procedural.sba.manager

Method parameters in de.learnlib.algorithm.procedural.sba.manager with type arguments of type SymbolWrapper

Modifier and Type	Method	Description
Set<I>	DefaultATManager.scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Set<I>	DefaultATManager.scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Set<I>	OptimizingATManager.scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Set<I>	OptimizingATManager.scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)

Uses of SymbolWrapper in de.learnlib.algorithm.procedural.spmm

Classes in de.learnlib.algorithm.procedural.spmm with type parameters of type SymbolWrapper

Modifier and Type	Class	Description
class	SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SPMMs.
class	SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SPMMs.
class	SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SPMMs.

Method parameters in de.learnlib.algorithm.procedural.spmm with type arguments of type SymbolWrapper

Modifier and Type	Method	Description
Set<I>	ATManager.scanProcedures(Map<I,? extends MealyMachine<?,SymbolWrapper<I>,?,O>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)	Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.
Set<I>	ATManager.scanProcedures(Map<I,? extends MealyMachine<?,SymbolWrapper<I>,?,O>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)	Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.

Constructor parameters in de.learnlib.algorithm.procedural.spmm with type arguments of type SymbolWrapper

Constructor	Description
SPMMLearner(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle<I,Word<O>> oracle, LearnerConstructor<L,SymbolWrapper<I>,Word<O>> learnerConstructor)
SPMMLearner(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle<I,Word<O>> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Word<O>>> learnerConstructors, ATManager<I,O> atManager)

Uses of SymbolWrapper in de.learnlib.algorithm.procedural.spmm.manager

Method parameters in de.learnlib.algorithm.procedural.spmm.manager with type arguments of type SymbolWrapper

Modifier and Type	Method	Description
Set<I>	DefaultATManager.scanProcedures(Map<I,? extends MealyMachine<?,SymbolWrapper<I>,?,O>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Set<I>	DefaultATManager.scanProcedures(Map<I,? extends MealyMachine<?,SymbolWrapper<I>,?,O>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Set<I>	OptimizingATManager.scanProcedures(Map<I,? extends MealyMachine<?,SymbolWrapper<I>,?,O>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Set<I>	OptimizingATManager.scanProcedures(Map<I,? extends MealyMachine<?,SymbolWrapper<I>,?,O>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)