Interface ExplicitInitialAbstraction<AI,​CI>

  • Type Parameters:
    AI - abstract input symbol type
    CI - concrete input symbol type
    All Superinterfaces:
    Abstraction<AI,​CI>

    public interface ExplicitInitialAbstraction<AI,​CI>
    extends Abstraction<AI,​CI>
    This interface denotes an Abstraction that additionally provides an initial classification of abstract input symbols.
    • Method Detail

      • getInitialAbstracts

        Collection<AI> getInitialAbstracts()
        Return the initial collection of abstract symbols.
        Returns:
        the initial collection of abstract symbols