de.learnlib.mapper

Interface ContextExecutableInputSUL.ContextHandler<C>

Enclosing class:

ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>

public static interface ContextExecutableInputSUL.ContextHandler<C>

Method Summary

Modifier and Type	Method and Description
C	createContext()
void	disposeContext(C context)

Method Detail

createContext

C createContext()

disposeContext

void disposeContext(C context)