Skip navigation links
A C D E F G I M P R S 

A

AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C> - Class in de.learnlib.mapper
Abstract base class for a SUL that step-wisely executes ContextExecutableInput symbols.
AbstractContextExecutableInputSUL() - Constructor for class de.learnlib.mapper.AbstractContextExecutableInputSUL
 
apply(SULMapper<? super AI, ? extends AO, CI, CO>, SUL<? super CI, ? extends CO>) - Static method in class de.learnlib.mapper.SULMappers
 

C

canFork() - Method in interface de.learnlib.mapper.api.SULMapper
Checks whether it is possible to fork this mapper.
canFork() - Method in class de.learnlib.mapper.ContextExecutableInputSUL
 
canFork() - Method in class de.learnlib.mapper.ExecutableInputSUL
 
canFork() - Method in class de.learnlib.mapper.MappedSUL
 
compose(Mapper<? super AI, ? extends AO, ACI, CAO>, Mapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.Mappers
 
compose(Mapper.AsynchronousMapper<? super AI, ? extends AO, ACI, CAO>, Mapper.AsynchronousMapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.Mappers
 
compose(Mapper.SynchronousMapper<? super AI, ? extends AO, ACI, CAO>, Mapper.SynchronousMapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.Mappers
 
compose(SULMapper<? super AI, ? extends AO, ACI, CAO>, SULMapper<? super ACI, ? extends CAO, ? extends CI, ? super CO>) - Static method in class de.learnlib.mapper.SULMappers
 
ContextExecutableInput<O,C> - Interface in de.learnlib.mapper.api
 
ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C> - Class in de.learnlib.mapper
A SUL that executes ContextExecutableInput symbols.
ContextExecutableInputSUL(ContextExecutableInputSUL.ContextHandler<C>) - Constructor for class de.learnlib.mapper.ContextExecutableInputSUL
 
ContextExecutableInputSUL.ContextHandler<C> - Interface in de.learnlib.mapper
Facility for creating and disposing of contexts on which ContextExecutableInputs operate.
createContext() - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
 
createContext() - Method in interface de.learnlib.mapper.ContextExecutableInputSUL.ContextHandler
 
createContext() - Method in class de.learnlib.mapper.ContextExecutableInputSUL
 

D

de.learnlib.mapper - package de.learnlib.mapper
 
de.learnlib.mapper.api - package de.learnlib.mapper.api
 
disposeContext(C) - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
 
disposeContext(C) - Method in interface de.learnlib.mapper.ContextExecutableInputSUL.ContextHandler
 
disposeContext(C) - Method in class de.learnlib.mapper.ContextExecutableInputSUL
 

E

ExecutableInput<CO> - Interface in de.learnlib.mapper.api
An executable input is a concrete input produced by a data mapper and can be executed directly.
ExecutableInputSUL<I extends ExecutableInput<? extends O>,O> - Class in de.learnlib.mapper
A SUL that executes ExecutableInput symbols.
ExecutableInputSUL() - Constructor for class de.learnlib.mapper.ExecutableInputSUL
 
execute(C) - Method in interface de.learnlib.mapper.api.ContextExecutableInput
 
execute() - Method in interface de.learnlib.mapper.api.ExecutableInput
executes the input.

F

fork() - Method in interface de.learnlib.mapper.api.SULMapper
Forks this mapper, i.e., returns a mapper that behaves in exactly the same way as this mapper, but allows for being used independently of this mapper.
fork() - Method in class de.learnlib.mapper.ContextExecutableInputSUL
 
fork() - Method in class de.learnlib.mapper.ExecutableInputSUL
 
fork() - Method in class de.learnlib.mapper.MappedSUL
 

G

getMappedInputs() - Method in class de.learnlib.mapper.StringMapper
 
getSubsequentStepsOutput() - Method in class de.learnlib.mapper.api.SULMapper.MappedException
 
getThisStepOutput() - Method in class de.learnlib.mapper.api.SULMapper.MappedException
 

I

ignoreAndContinue(AO) - Static method in class de.learnlib.mapper.api.SULMapper.MappedException
 

M

mapInput(String) - Method in class de.learnlib.mapper.StringMapper
 
mapOutput(Object) - Method in class de.learnlib.mapper.StringMapper
 
MappedSUL<AI,AO,CI,CO> - Class in de.learnlib.mapper
 
MappedSUL(SULMapper<? super AI, ? extends AO, ? extends CI, ? super CO>, SUL<? super CI, ? extends CO>) - Constructor for class de.learnlib.mapper.MappedSUL
 
Mappers - Class in de.learnlib.mapper
Utility methods for manipulating mappers.
mapUnwrappedException(RuntimeException) - Method in interface de.learnlib.mapper.api.SULMapper
Maps an unwrapped RuntimeException to an abstract output symbol, or rethrows it if it is unmappable.
mapWrappedException(SULException) - Method in interface de.learnlib.mapper.api.SULMapper
Maps a wrapped SULException to an abstract output symbol, or rethrows it if it is unmappable.

P

pass(SULException) - Static method in class de.learnlib.mapper.api.SULMapper.MappedException
 
post() - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
 
post() - Method in class de.learnlib.mapper.ExecutableInputSUL
 
post() - Method in class de.learnlib.mapper.MappedSUL
 
pre() - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
 
pre() - Method in class de.learnlib.mapper.ExecutableInputSUL
 
pre() - Method in class de.learnlib.mapper.MappedSUL
 

R

repeatOutput(AO) - Static method in class de.learnlib.mapper.api.SULMapper.MappedException
 
repeatOutput(AO, AO) - Static method in class de.learnlib.mapper.api.SULMapper.MappedException
 

S

step(I) - Method in class de.learnlib.mapper.AbstractContextExecutableInputSUL
 
step(I) - Method in class de.learnlib.mapper.ExecutableInputSUL
 
step(AI) - Method in class de.learnlib.mapper.MappedSUL
 
StringMapper<CI> - Class in de.learnlib.mapper
 
StringMapper(Alphabet<CI>) - Constructor for class de.learnlib.mapper.StringMapper
 
SULMapper<AI,AO,CI,CO> - Interface in de.learnlib.mapper.api
An extension of the Mapper interface specifically for SULs.
SULMapper.MappedException<AO> - Class in de.learnlib.mapper.api
 
SULMappers - Class in de.learnlib.mapper
Utility methods for manipulating mappers.
A C D E F G I M P R S 
Skip navigation links

Copyright © 2018. All rights reserved.