Class and Description |
---|
SymbolQueryOracle
Symbol query interface.
|
Class and Description |
---|
SymbolQueryOracle
Symbol query interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
QueryAnswerer |
SymbolQueryOracle
Symbol query interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
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 |
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. |
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 |
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
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 |
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 |
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 |
QueryAnswerer |
SymbolQueryOracle
Symbol query interface.
|
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 |
---|
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 |
QueryAnswerer |
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. |
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
|
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 |
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 |
SymbolQueryOracle
Symbol query interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
QueryAnswerer |
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
MembershipOracle.DFAMembershipOracle |
MembershipOracle.MealyMembershipOracle |
Class and Description |
---|
EquivalenceOracle
An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
|
MembershipOracle
Membership oracle interface.
|
QueryAnswerer |
Class and Description |
---|
MembershipOracle
Membership oracle interface.
|
Copyright © 2018. All rights reserved.