Interface ATManager<I>
-
- Type Parameters:
I
- input symbol type
- All Known Implementing Classes:
DefaultATManager
,OptimizingATManager
public interface ATManager<I>
A manager of access sequences and terminating sequences ofSBA
s during the learning process.
-
-
Method Summary
All Methods Instance Methods Abstract 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> counterexample)
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.
-
-
-
Method Detail
-
getAccessSequence
Word<I> getAccessSequence(I procedure)
Returns an access sequence for the given procedure.- Parameters:
procedure
- the call symbol that identifies the procedure- Returns:
- the access sequence for the given procedure
-
getTerminatingSequence
Word<I> getTerminatingSequence(I procedure)
Returns a terminating sequence for the given procedure.- Parameters:
procedure
- the call symbol that identifies the procedure- Returns:
- the terminating sequence for the given procedure
-
scanPositiveCounterexample
Pair<Set<I>,Set<I>> scanPositiveCounterexample(Word<I> counterexample)
Extracts from a positive counterexample (potentially new) access sequences and terminating sequences.
-
scanProcedures
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.- 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.
-
-