__init__.py 193 Bytes
Newer Older
1
2
3
4
from abc import ABCMeta, abstractmethod

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