__init__.py 186 Bytes
Newer Older
1
2
3
4
5
6
7
from abc import ABCMeta, abstractmethod

class Automaton(metaclass=ABCMeta):
    @abstractmethod
    def export(self):
        """Returns a z3gi.model for this automaton."""
        pass