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
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.DFALearner |
MembershipOracle
Membership oracle interface.
|
Query
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
Class and Description |
---|
AccessSequenceTransformer |
Class and Description |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
LearningAlgorithm.MealyLearner |
MembershipOracle
Membership oracle interface.
|
Query
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
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
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
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 |
---|
LearningAlgorithm
Basic interface for a model inference algorithm.
|
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 |
---|
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.
|
MembershipOracle.DFAMembershipOracle |
MembershipOracle.MealyMembershipOracle |
Query
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
QueryAnswerer |
SingleQueryOracle
Base interface for oracles whose semantic is defined in terms of directly answering single queries
(like a
QueryAnswerer , and that cannot profit from batch processing of queries. |
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).
|
MembershipOracle
Membership oracle interface.
|
MembershipOracle.DFAMembershipOracle |
MembershipOracle.MealyMembershipOracle |
QueryAnswerer |
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
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
QueryAnswerer |
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
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
QueryAnswerer |
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
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
Class and Description |
---|
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 |
QueryAnswerer |
SingleQueryOracle
Base interface for oracles whose semantic is defined in terms of directly answering single queries
(like a
QueryAnswerer , and that cannot profit from batch processing of queries. |
SingleQueryOracle.SingleQueryOracleMealy |
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
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
QueryAnswerer |
SingleQueryOracle
Base interface for oracles whose semantic is defined in terms of directly answering single queries
(like a
QueryAnswerer , and that cannot profit from batch processing of queries. |
SingleQueryOracle.SingleQueryOracleDFA |
SingleQueryOracle.SingleQueryOracleMealy |
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
A query is the basic form of interaction between a
learner and a
(membership) oracle , or teacher. |
QueryAnswerer |
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 |
---|
Filter
A filter is an oracle that can be used as the middle
element in a chain of oracles.
|
MembershipOracle
Membership oracle interface.
|
QueryAnswerer |
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 © 2016. All rights reserved.