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

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