basetesting.py 244 Bytes
Newer Older
Michele's avatar
Michele committed
1
2
3
4
5
6
7
# 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
8
    def findCounterexample(self, model):
Michele's avatar
Michele committed
9
        pass