Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
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.
|
Query |
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.DFALearner |
MembershipOracle
Membership oracle interface.
|
Query |
Class and Description |
---|
AccessSequenceTransformer |
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.MealyLearner |
MembershipOracle
Membership oracle interface.
|
Query |
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.DFALearner |
LearningAlgorithm.MealyLearner |
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 |
---|
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 |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.DFALearner |
LearningAlgorithm.MealyLearner |
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.DFALearner |
LearningAlgorithm.MealyLearner |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
AccessSequenceTransformer |
LearningAlgorithm
Basic interface for a model inference algorithm.
|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
AccessSequenceTransformer |
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 |
---|
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 |
SULException
Unchecked exception class that can be used by implementors
of a
SUL to wrap any exceptions that occur during the
SUL.step(Object) methods. |
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
MembershipOracle
Membership oracle interface.
|
MembershipOracle.DFAMembershipOracle |
MembershipOracle.MealyMembershipOracle |
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
A specialization of the
EquivalenceOracle interface for a DFA learning scenario. |
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
A specialization of the
EquivalenceOracle interface for a Mealy learning scenario. |
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 |
---|
AccessSequenceTransformer |
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
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.
|
SULException
Unchecked exception class that can be used by implementors
of a
SUL to wrap any exceptions that occur during the
SUL.step(Object) methods. |
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown)
system under learning (SUL).
|
EquivalenceOracle.DFAEquivalenceOracle
A specialization of the
EquivalenceOracle interface for a DFA learning scenario. |
EquivalenceOracle.MealyEquivalenceOracle
A specialization of the
EquivalenceOracle interface for a Mealy learning scenario. |
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
A specialization of the
EquivalenceOracle interface for a Mealy learning scenario. |
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 |
---|
MembershipOracle
Membership oracle interface.
|
MembershipOracle.MealyMembershipOracle |
Query |
Class and Description |
---|
SUL
Interface for a system under learning (SUL) that can make single steps.
|
SULException
Unchecked exception class that can be used by implementors
of a
SUL to wrap any exceptions that occur during the
SUL.step(Object) methods. |
Class and Description |
---|
SULException
Unchecked exception class that can be used by implementors
of a
SUL to wrap any exceptions that occur during the
SUL.step(Object) methods. |
Class and Description |
---|
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.
|
LearningAlgorithm.DFALearner |
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.
|
SULException
Unchecked exception class that can be used by implementors
of a
SUL to wrap any exceptions that occur during the
SUL.step(Object) methods. |
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.
|
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
MembershipOracle
Membership oracle interface.
|
MembershipOracle.DFAMembershipOracle |
MembershipOracle.MealyMembershipOracle |
Copyright © 2015. All rights reserved.