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

Executes this input symbol with a given context.

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