Class DefaultATManager<I>
- java.lang.Object
-
- de.learnlib.algorithm.procedural.sba.manager.DefaultATManager<I>
-
-
Constructor Summary
Constructors Constructor Description DefaultATManager(ProceduralInputAlphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Word<I>
getAccessSequence(I procedure)
Returns an access sequence for the given procedure.Word<I>
getTerminatingSequence(I procedure)
Returns a terminating sequence for the given procedure.Pair<Set<I>,Set<I>>
scanPositiveCounterexample(Word<I> input)
Extracts from a positive counterexample (potentially new) access sequences and terminating sequences.Set<I>
scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.
-
-
-
Constructor Detail
-
DefaultATManager
public DefaultATManager(ProceduralInputAlphabet<I> alphabet)
-
-
Method Detail
-
getAccessSequence
public Word<I> getAccessSequence(I procedure)
Description copied from interface:ATManager
Returns an access sequence for the given procedure.- Specified by:
getAccessSequence
in interfaceATManager<I>
- Parameters:
procedure
- the call symbol that identifies the procedure- Returns:
- the access sequence for the given procedure
-
getTerminatingSequence
public Word<I> getTerminatingSequence(I procedure)
Description copied from interface:ATManager
Returns a terminating sequence for the given procedure.- Specified by:
getTerminatingSequence
in interfaceATManager<I>
- Parameters:
procedure
- the call symbol that identifies the procedure- Returns:
- the terminating sequence for the given procedure
-
scanPositiveCounterexample
public Pair<Set<I>,Set<I>> scanPositiveCounterexample(Word<I> input)
Description copied from interface:ATManager
Extracts from a positive counterexample (potentially new) access sequences and terminating sequences.- Specified by:
scanPositiveCounterexample
in interfaceATManager<I>
- Parameters:
input
- the counterexample- Returns:
- a
Pair
ofSet
s of procedures (identified by their respective call symbols) for which new access and terminating sequences could be extracted and for which previously none of the sequences were available.
-
scanProcedures
public Set<I> scanProcedures(Map<I,? extends DFA<?,SymbolWrapper<I>>> procedures, Map<I,? extends AccessSequenceTransformer<SymbolWrapper<I>>> providers, Collection<SymbolWrapper<I>> inputs)
Description copied from interface:ATManager
Scans a set of (hypothesis) procedures in order to potentially extract new access sequences and terminating sequences.- Specified by:
scanProcedures
in interfaceATManager<I>
- Parameters:
procedures
- aMap
from call symbols to the respective procedural (hypothesis) modelsproviders
- aMap
from call symbols toAccessSequenceTransformer
sinputs
- aCollection
of input symbols which should be used for finding new access sequences, terminating sequences, and return sequences- Returns:
- a
Set
of procedures (identified by their respective call symbols) for which terminating sequences could be extracted and for which previously no such sequences were available.
-
-