basetesting.py

# Abstract class for a Teacher in a L* based learning algorithm
from abc import ABCMeta, abstractmethod

class AbstractTester(metaclass=ABCMeta):

    # Run a test suite
    @abstractmethod
    def findCounterexample(self, model):
        pass