Commit f624c031 authored by Rick Smetsers's avatar Rick Smetsers
Browse files

Setup directory structure for project, and added interfaces

parent 144fdabf
from unittest import TestCase
import z3
from z3gi import define
from z3gi_old import define
class TestDefine(TestCase):
......
......@@ -2,7 +2,7 @@ from unittest import TestCase
import z3
from z3gi import define, encode
from z3gi_old import define, encode
fsms = [define.MooreMachine(), define.MealyMachine()]
......
......@@ -2,7 +2,7 @@ from unittest import TestCase
import z3
from z3gi import define, encode, learn
from z3gi_old import define, encode, learn
class TestFSMLearner(TestCase):
......
from unittest import TestCase
from z3gi import define, encode
from z3gi_old import define, encode
class TestMappingEncoder(TestCase):
......
from unittest import TestCase
from z3gi import define, encode
from z3gi_old import define, encode
class TestNestingEncoder(TestCase):
......
from abc import ABCMeta, abstractmethod
class Automaton(metaclass=ABCMeta):
@abstractmethod
def export(self):
"""Returns a z3gi.model for this automaton."""
pass
\ No newline at end of file
from abc import ABCMeta, abstractmethod
class Encoder(metaclass=ABCMeta):
@abstractmethod
def add(self, trace):
pass
@abstractmethod
def build(self, automaton):
pass
\ No newline at end of file
from abc import ABCMeta, abstractmethod
class Learner(metaclass=ABCMeta):
@abstractmethod
def add(self, trace):
pass
@abstractmethod
def model(self):
pass
\ No newline at end of file
......@@ -3,7 +3,7 @@ import collections
import abc
import z3
from z3gi import define
from z3gi_old import define
class EncodeError(Exception):
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment