Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a
hypotheses).
|
AccessSequenceTransformer |
Class and Description |
---|
AccessSequenceTransformer |
Class and Description |
---|
AccessSequenceTransformer |
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a
hypotheses).
|
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a
hypotheses).
|
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a
hypotheses).
|
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a
hypotheses).
|
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a
hypotheses).
|
Class and Description |
---|
Mapper
A mapper that lifts a
SUL or MembershipOracle from an "abstract" to a "concrete" level. |
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
AccessSequenceTransformer |
Class and Description |
---|
AccessSequenceTransformer |
Class and Description |
---|
AccessSequenceTransformer |
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
Mapper
A mapper that lifts a
SUL or MembershipOracle from an "abstract" to a "concrete" level. |
Mapper.SynchronousMapper
A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for
reactive systems.
|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
Mapper
A mapper that lifts a
SUL or MembershipOracle from an "abstract" to a "concrete" level. |
Mapper.AsynchronousMapper
A mapper refinement to establish the contract of a asynchronous, query-wise translation of input words.
|
Mapper.SynchronousMapper
A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for
reactive systems.
|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
Mapper
A mapper that lifts a
SUL or MembershipOracle from an "abstract" to a "concrete" level. |
Mapper.SynchronousMapper
A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for
reactive systems.
|
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
Mapper.AsynchronousMapper
A mapper refinement to establish the contract of a asynchronous, query-wise translation of input words.
|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Copyright © 2018. All rights reserved.