Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.DFALearner |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
AccessSequenceTransformer |
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.MealyLearner |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Query |
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.DFALearner |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.MealyLearner |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
AccessSequenceTransformer |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
MembershipOracle
Membership oracle interface.
|
Query |
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
EquivalenceOracle.DFAEquivalenceOracle |
MembershipOracle
Membership oracle interface.
|
MembershipOracle.DFAMembershipOracle |
Query |
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
EquivalenceOracle.MealyEquivalenceOracle |
MembershipOracle
Membership oracle interface.
|
MembershipOracle.MealyMembershipOracle |
Query |
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
AccessSequenceTransformer |
MembershipOracle
Membership oracle interface.
|
Query |
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 |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
EquivalenceOracle.DFAEquivalenceOracle |
EquivalenceOracle.MealyEquivalenceOracle |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
EquivalenceOracle.MealyEquivalenceOracle |
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
Filter
A filter is an oracle that can be used as the middle
element in a chain of oracles.
|
MembershipOracle
Membership oracle interface.
|
MembershipOracle.DFAMembershipOracle |
MembershipOracle.MealyMembershipOracle |
Query |
QueryAnswerer |
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Query |
Class and Description |
---|
Filter
A filter is an oracle that can be used as the middle
element in a chain of oracles.
|
MembershipOracle
Membership oracle interface.
|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
Copyright © 2014. All Rights Reserved.