Package | Description |
---|---|
de.learnlib.mapper |
Class and Description |
---|
AbstractContextExecutableInputSUL
Abstract base class for a
SUL that step-wisely executes ContextExecutableInput symbols. |
ContextExecutableInputSUL.ContextHandler
Facility for creating and disposing of contexts on which
ContextExecutableInput s operate. |
MappedSUL |
Copyright © 2018. All rights reserved.