Module de.learnlib.driver
Package de.learnlib.driver
Class AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>
- java.lang.Object
-
- de.learnlib.driver.AbstractContextExecutableInputSUL<I,O,C>
-
- Type Parameters:
I- input symbol typeO- output symbol typeC- context type
- All Implemented Interfaces:
SUL<I,O>
- Direct Known Subclasses:
ContextExecutableInputSUL
public abstract class AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C> extends Object implements SUL<I,O>
Abstract base class for aSULthat step-wisely executesContextExecutableInputsymbols.This class does not specify how contexts are created and disposed of, but declares abstract methods for these tasks.
-
-
Constructor Summary
Constructors Constructor Description AbstractContextExecutableInputSUL()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract CcreateContext()protected abstract voiddisposeContext(C context)voidpost()shut down SUL.voidpre()setup SUL.Ostep(I in)make one step on the SUL.
-