Abstraction (LearnLib 0.17.0 API)

Type Parameters:

AI - abstract input symbol type

CI - concrete input symbol type

All Known Subinterfaces:

ExplicitInitialAbstraction<AI,CI>

All Known Implementing Classes:

AbstractAbstractionTree, ExplicitAbstractionTree, GenericAbstractionTree
```
public interface Abstraction<AI,CI>
```
An interface for mapping concrete symbols to their abstraction, and abstractions to their representatives, respectively.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`AI`	`getAbstractSymbol(CI c)`	Returns the abstract symbol for a given concrete one.
`CI`	`getRepresentative(AI a)`	Returns the (concrete) representative for a given abstract symbol.

- Method Detail
  - getAbstractSymbol
```
AI getAbstractSymbol(CI c)
```
    Returns the abstract symbol for a given concrete one.
    
    Parameters:
    
    c - the concrete symbol
    
    Returns:
    
    the abstraction of c
  - getRepresentative
```
CI getRepresentative(AI a)
```
    Returns the (concrete) representative for a given abstract symbol.
    
    Parameters:
    
    a - the abstract symbol
    
    Returns:
    
    the concrete representative of a