"""
Name: AutomatonType.py
Author: Radovan Klembara

Implementation of enumeration of automaton types.
"""

from enum import Enum


class AutomatonType(Enum):
    """
    Enumeration of automaton types.
    """
    PDA = 1
    PPDA = 2
    TPPDA = 3
